From c946a29aac5072c903a934d353dfd012c99a6042 Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Thu, 12 Mar 2015 09:58:32 +0100
Subject: [PATCH] Nicer fonts

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

diff --git a/app/src/processing/app/Base.java b/app/src/processing/app/Base.java
index d844b4c36..2b5acbd8a 100644
--- a/app/src/processing/app/Base.java
+++ b/app/src/processing/app/Base.java
@@ -84,6 +84,9 @@ public class Base {
   Editor activeEditor;
 
   static public void main(String args[]) throws Exception {
+    System.setProperty("awt.useSystemAAFontSettings", "on");
+    System.setProperty("swing.aatext", "true");
+
     BaseNoGui.initLogger();
     
     BaseNoGui.notifier = new GUIUserNotifier();