Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

how to custom style line numbering #3179

Open
CouldBeThis opened this issue Apr 24, 2022 · 2 comments
Open

how to custom style line numbering #3179

CouldBeThis opened this issue Apr 24, 2022 · 2 comments

Comments

@CouldBeThis
Copy link

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

@elextr
Copy link
Member

elextr commented Apr 24, 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.

@CouldBeThis
Copy link
Author

Ah I see thanks for explaining.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants