Demo version - font size too small
As per @clairelema description:
Many people would like to be able to change the font size. The solution to change is too technical for some users. If possible it will be better to be able to configure within the app.
Maybe we can define the default value in default_options.
I personally use size 15. What about others?
I'm not sure if it's a good idea to hardcode the default font size.
I personally use a bigger font, so maybe we can start with a default acceptable font (like yours), but it must be possible/easy to change (font changes are the settings that lots of people would like to do in their applications, usually)
In Netbeans 11 was possible to Override the default font which changed the used font. See https://stackoverflow.com/questions/13262574/how-to-change-netbeans-font-size/65693065#65693065
Maybe we can use this. Hopefully, this is just hidden from UI and there won't be any unwanted side effects.
I was still unable to detect proper documentation of the Netbeans Platform but the investigation continued.