search

0verEngineer / InlineProblems

Plugin to show problems inside the text editor for IDEs based on the IntelliJ Platform
GNU General Public License v3.0
61 stars 7 forks source link

More font options #16

Closed HiRoS-neko closed 1 year ago

HiRoS-neko commented 1 year ago

Could more options for the font be added, preferably at least the font size?

0verEngineer commented 1 year ago

@HiRoS-neko

Hey, the font size is kinda tricky because it cannot be bigger than the editor font size and it will also change on the fly if you increase the font size per shortcut.

We could just add settings for custom size, if the setting is active it will not change on editor font change and it will also check that the custom size is not greater than the editor size.

What font options besides the size came to your mind?

HiRoS-neko commented 1 year ago

It was just the font size at the moment, I mainly want to make the font smaller than editor size. Either a delta or a fixed custom size would work well I think.