Re: Patch for SC_MARK_BAR to have a minimum width
Mitchell <[email protected]> Wed, 9 Apr 2025 19:16:36 -0400
| Newsgroups | gmane.comp.lib.scintilla.devel |
|---|---|
| Message-ID | <[email protected]> |
Hi Neil, > On Apr 9, 2025, at 6:59 PM, 'Neil Hodgson' via scintilla-interest <[email protected]> wrote: > > Mitchell: > >> I felt like 4 pixels is the minimum that allows a visual distinction between foreground and background. That said, I’ll take anything more than the current 1 pixel minimum. I’m on a Retina display and 1 pixel is not pleasant, no matter what margin it’s next to. > > How wide is your margin and can the change marker be moved onto a different margin? My symbol margin is 4 pixels wide and in-between a line number margin to the left and fold marker margin to the right. Both of those margins are wider. Since the symbol margin is its own margin, I wouldn’t move it to another margin. Cheers, Mitchell -- You received this message because you are subscribed to the Google Groups "scintilla-interest" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/scintilla-interest/B98B4304-9382-4FA7-9B16-5280C9272800%40foicica.com.