Author Topic: Left margin: Too many icons  (Read 1161 times)

jporkkahtc

  • Senior Community Member
  • Posts: 2620
  • Hero Points: 210
  • Text
Left margin: Too many icons
« on: May 17, 2022, 04:29:24 PM »
The left side margin has line numbers and various icons - like breakpoints, bookmarks, etc.
When a single line has more than one icon, they get overlaid.
It would be nice for them to be placed side by side (potentially making the gutter wider) so they can be seen.

Is there an option to control the size of the icons in the left margin?

Dennis

  • Senior Community Member
  • Posts: 3955
  • Hero Points: 515
Re: Left margin: Too many icons
« Reply #1 on: May 20, 2022, 03:52:32 PM »
Quote
Is there an option to control the size of the icons in the left margin?

The font size.

The current technique is to draw them at 2/3 the font height, so that if there are two on a line, they can be cascaded (each type of icon has a priority).

I agree a left-to-right string of icons might be better, but it can be irritating if the margin size grows and shrinks and our users can be very picky about the margin taking up too much space.  Either way, I'll file a feature request for us to consider adding options at some point in the future.
« Last Edit: May 20, 2022, 03:56:38 PM by Dennis »