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

CouldBeThis notifications at github.com
Sun Apr 24 14:19:14 UTC 2022


Hi, I would like to make the line numbering at the left side take up less space. Was hoping to do this via the `gtk.css`. How to determine the appropriate class/IDs? Is there a list somewhere, or a file that contains them that I can look through?

If relevant, I am also using the bookmarks feature and the plugin that highlights git changes. Ideally all these will be squished together in a small amount of space.

thanks for any hint

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

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


More information about the Github-comments mailing list