@b4n commented on this pull request.
> /* symbol margin visibility */ void sci_set_symbol_margin(ScintillaObject *sci, gboolean set) { if (set) { - SSM(sci, SCI_SETMARGINWIDTHN, 1, 16); + gint width = margin_width_from_line_height(sci, 0.88, 16);
@codebrainz made const.
@elextr ? that's the point, we currently hardcode 16px, which is very small if you use a big font/zoom level. For HiDPI the surface should be scaled in the best case (well, best case Scintilla would handle some of it itself I guess, but well), but otherwise this change just makes it better there too.
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.