search

ncsa / qdl

the QDL programming language
Other
2 stars 0 forks source link

Better font support in GUI #60

Closed jjg-123 closed 2 months ago

jjg-123 commented 3 months ago

Currently the GUI uses the Dialog font for everything since in Java 8 that looked better. Java 11 vastly improved its monospaced font, so use that. Also add numpad +- to change font size on the fly.