This repository was archived by the owner on Aug 31, 2025. It is now read-only.
Allow changing the size of the line number font #2495
Mystra007
started this conversation in
Ideas & New Features
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
I tried and it doesn't seem possible in the .css files. Additionally they are really small compared to the source code next to it.
I also think it would make mu editor friendlier for accessibility/WCAG as well.
Beta Was this translation helpful? Give feedback.
All reactions