mirror of
https://github.com/arduino/Arduino.git
synced 2025-03-11 08:29:19 +01:00
Resetting swing.aatext to the preferred value as soon as preferences are available
This commit is contained in:
parent
06d95d4225
commit
e08bd63038
@ -96,7 +96,9 @@ public class Base {
|
|||||||
BaseNoGui.initPortableFolder();
|
BaseNoGui.initPortableFolder();
|
||||||
|
|
||||||
BaseNoGui.initParameters(args);
|
BaseNoGui.initParameters(args);
|
||||||
|
|
||||||
|
System.setProperty("swing.aatext", Preferences.get("editor.antialias", "true"));
|
||||||
|
|
||||||
BaseNoGui.initVersion();
|
BaseNoGui.initVersion();
|
||||||
|
|
||||||
// if (System.getProperty("mrj.version") != null) {
|
// if (System.getProperty("mrj.version") != null) {
|
||||||
|
Loading…
x
Reference in New Issue
Block a user