Karl Tauber 01170b669b Theme Editor: Preview: ...

- reworked disabling to avoid disabling internal components
- do not disable labels
- removed special code for JTextPane and JEditorPane, which seems to be no longer needed

2021-12-26 20:30:36 +01:00

..

main

Theme Editor: Preview:

2021-12-26 20:30:36 +01:00