[Github-comments] [geany/geany] how to custom style line numbering (Issue #3179)

elextr notifications at github.com
Sun Apr 24 15:19:28 UTC 2022


The line number margin is drawn as part of the Scintilla editing widget, its not a GTK widget so its not controllable from CSS, its controllable the same way the highlighting styles are set, see `margin_line_number` in filetypes.common.  Note that all you can control is foreground/background colour and bold/italic/normal, so its probably not going to help you save space.

-- 
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/issues/3179#issuecomment-1107862075
You are receiving this because you are subscribed to this thread.

Message ID: <geany/geany/issues/3179/1107862075 at github.com>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20220424/dd3cb569/attachment-0001.htm>


More information about the Github-comments mailing list