Should not be necessary to have both Minimap and vertical scrollbar.

John Hind 5 years ago 0

The minimap, if selected, should replace the vertical scrollbar. Only minor enhancements would be necessary to give the minimap all the functionality of the scrollbar and this would save space and look neater. If the minimap is not selected, then the normal scrollbar should be shown instead, but there should never be both scrollbar and minimap visible.