Re: Patch for SC_MARK_BAR to have a minimum width

Committed a change that uses ceil instead of floor for the width 
calculation. This will produce a bar width of 2 for a 4-pixel wide margin 
which still leaves a pixel of space either side.

I think that allowing thin bar markers is valuable with even single pixel 
wide bars being useful on low resolution screens although 2 pixels is 
better and 4 or more is great when there is enough space.

Further changes here could be handled by a new marker type but that would 
depend on more demand and consensus on the appearance.

https://sourceforge.net/p/scintilla/code/ci/e9a5ebd66d34946e32f5bd56be43ed7d106c1bc5/

Neil

-- 
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/edb84e8f-1748-4601-acef-169bd833fc3bn%40googlegroups.com.