Replies: 1 comment 1 reply
-
|
No specific plans discussed. Right now I believe the fonts/sizes are just hard coded which isn't ideal. Definitely a good first step would be to just reuse the default font/size for the editors. Of course more customizations could be added later. |
Beta Was this translation helpful? Give feedback.
1 reply
-
|
Created issue #827 |
Beta Was this translation helpful? Give feedback.
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.
-
Noticed the search results fonts are not the same as the main window. Is there plans to allow to resize the fonts or have them the same (or behave the same as Notepad ++)?
Beta Was this translation helpful? Give feedback.
All reactions