Adjust line number font size?
-
My line numbers are super tiny (like 6 pt) in 7.9.5 64-bit on Windows 10. They are only 50% of the line height. Is there a way to adjust the size to be readable?
-
It defaults to inheriting the same size as your default font.
But Settings > Style Configurator > Global Styles > Line number margin has a Font size entry; if it’s blank, it should use the same size as Default Style; if not, it sets the size.
-
Examples:
-
Thank you. It was set to 8. It seems like changing it to blank made the margin really fat even though it’s set to dynamic.
-
Turns out that’s what happens if you enable bold line numbers and change the folder margin style. Toggling bold off and on again fixes the margin.
-
@jbaker6953 said in Adjust line number font size?:
margin really fat
There’s also a bookmark margin there.
If you toggle off Display bookmark (shown as on in your screenshot), you’ll save even more room (probably a good idea only if you don’t use bookmarks).
Hello! It looks like you're interested in this conversation, but you don't have an account yet.
Getting fed up of having to scroll through the same posts each visit? When you register for an account, you'll always come back to exactly where you were before, and choose to be notified of new replies (either via email, or push notification). You'll also be able to save bookmarks and upvote posts to show your appreciation to other community members.
With your input, this post could be even better 💗
Register Login