Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Appearance UIManager Preferences #527

Closed
RobertBColton opened this issue Aug 20, 2020 · 0 comments
Closed

Appearance UIManager Preferences #527

RobertBColton opened this issue Aug 20, 2020 · 0 comments

Comments

@RobertBColton
Copy link
Collaborator

RobertBColton commented Aug 20, 2020

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant