Mumfrey 794ef806f1 Support selectable, user-defined themes contained in zip files

2018-05-08 16:53:55 +02:00

..

AdditionalBoardsManagerURLTextArea.form

AdditionalBoardsManagerURLTextArea was not resizing internal text area when maximizing. Fixes #3348

2015-06-17 10:45:38 +02:00

AdditionalBoardsManagerURLTextArea.java

Got rid of Guava lib: java 8 has its features builtin

2015-08-05 12:09:24 +02:00

Preferences.form

Added GUI scaling in preference panel.

2016-01-26 12:09:57 +01:00

Preferences.java

Support selectable, user-defined themes contained in zip files

2018-05-08 16:53:55 +02:00