IsmAvatar / LateralGM

A free Game Maker source file editor
http://lateralgm.org/
Other
95 stars 25 forks source link

Appearance UIManager Preferences #527

Closed RobertBColton closed 4 years ago

RobertBColton commented 4 years ago

This brings back #224 with an idea of how to address it. We could add a table/list to the "Appearance" preferences that would allow you to specify UIManager property values that are saved so you don't always have to specify them on the command line, like with the bold Metal setting that I removed our explicit disabling of. There's two challenges to implementing this. The first is that the widget for editing the properties probably needs some sort of variant type or format or just actual type information. The second is kind of an answer to the first in that I am not sure if we could just use the system property version instead of the UIManager class since some properties seem to be supported from the command line. Issues like #276 would also be less likely to arise as users could essentially achieve what the Quantum embedded look and feel was doing by setting the font through the UI property. https://docs.oracle.com/javase/7/docs/api/javax/swing/UIManager.html