From e08bd630387fa53c0ee7208a4bc365c511170215 Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Fri, 13 Mar 2015 09:01:33 +0100
Subject: [PATCH] Resetting swing.aatext to the preferred value as soon as
 preferences are available

---
 app/src/processing/app/Base.java | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/app/src/processing/app/Base.java b/app/src/processing/app/Base.java
index 2b5acbd8a..029188bac 100644
--- a/app/src/processing/app/Base.java
+++ b/app/src/processing/app/Base.java
@@ -96,7 +96,9 @@ public class Base {
     BaseNoGui.initPortableFolder();
 
     BaseNoGui.initParameters(args);
-    
+
+    System.setProperty("swing.aatext", Preferences.get("editor.antialias", "true"));
+
     BaseNoGui.initVersion();
 
 //    if (System.getProperty("mrj.version") != null) {