+30
Michael Jessop 5 years ago in Plugin announcements 0
I understand that it would be a lot of code to make the minimap width dynamic (set in preferences or draggable) but what about 2 FIXED settings, narrow and wide?  For my old eyes, if the minimap were just 1/2" wider on my screen (50 pixels?) it would be even more useful for me.