This is the Overview Ruler Minimap which is now the default with PyDev release 3.7.0
This is controlled by Preferences > PyDev > Editor > Overview Ruler Minimap
This is the Overview Ruler Minimap which is now the default with PyDev release 3.7.0
This is controlled by Preferences > PyDev > Editor > Overview Ruler Minimap