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.