SourceCode
diff --git a/‎app/src/processing/app/EditorLineStatus.java‎
Lines changed: 7 additions & 1 deletion b/‎app/src/processing/app/EditorLineStatus.java‎
Lines changed: 7 additions & 1 deletion
diff --git a/‎app/src/processing/app/syntax/TextAreaPainter.java‎
Lines changed: 4 additions & 3 deletions b/‎app/src/processing/app/syntax/TextAreaPainter.java‎
Lines changed: 4 additions & 3 deletions
diff --git a/‎build/shared/lib/theme.txt‎
Lines changed: 2 additions & 2 deletions b/‎build/shared/lib/theme.txt‎
Lines changed: 2 additions & 2 deletions
diff --git a/‎todo.txt‎
Lines changed: 1 addition & 0 deletions b/‎todo.txt‎
Lines changed: 1 addition & 0 deletions
@@ -23,6 +23,7 @@
 package processing.app;
 
 import java.awt.*;
+
 import javax.swing.*;
 
 
@@ -87,14 +88,19 @@ public void set(int newStart, int newStop) {
 
 
   public void paintComponent(Graphics g) {
+    Graphics2D g2 = (Graphics2D) g;
+    g2.setRenderingHint(RenderingHints.KEY_TEXT_ANTIALIASING,
+                        RenderingHints.VALUE_TEXT_ANTIALIAS_ON);
+
     g.setColor(background);
     Dimension size = getSize();
     g.fillRect(0, 0, size.width, size.height);
 
     g.setFont(font);
     g.setColor(foreground);
     int baseline = (high + g.getFontMetrics().getAscent()) / 2;
-    g.drawString(text, 6, baseline);
+    // With 7u40 (or Source Code Sans?) things seem to be edged up a bit
+    g.drawString(text, 6, baseline - 1);
   }
 
 
 
@@ -462,9 +462,10 @@ public void paint(Graphics gfx) {
                         antialias ?
                         RenderingHints.VALUE_TEXT_ANTIALIAS_ON :
                         RenderingHints.VALUE_TEXT_ANTIALIAS_OFF);
-    
-    g2.setRenderingHint(RenderingHints.KEY_FRACTIONALMETRICS,
-                        RenderingHints.VALUE_FRACTIONALMETRICS_ON);
+
+    // no effect, one way or the other
+//    g2.setRenderingHint(RenderingHints.KEY_FRACTIONALMETRICS,
+//                        RenderingHints.VALUE_FRACTIONALMETRICS_ON);
 
     tabSize = fm.charWidth(' ') * ((Integer)textArea.getDocument().getProperty(PlainDocument.tabSizeAttribute)).intValue();
 
 
@@ -38,15 +38,15 @@ buttons.status.font = processing.sans,plain,13
 buttons.status.color = #ffffff
 
 # MODE SELECTOR
-mode.button.font = processing.sans,plain,12
+mode.button.font = processing.sans,plain,13
 # outline color of the mode button
 mode.button.color = #ffffff
 
 # LINE STATUS
 # The editor line number status bar at the bottom of the screen
 linestatus.color = #ffffff
 linestatus.bgcolor = #29333d
-linestatus.font = processing.sans,plain,12
+linestatus.font = processing.sans,plain,13
 linestatus.height  = 20
 
 
 
@@ -149,6 +149,7 @@ X remove Java FX during Windows builds
 X remove javafx from the embed
 X   more about optional files:
 X   http://www.oracle.com/technetwork/java/javase/jdk-7-readme-429198.html
+_ exclude 'fonts' folder from build (since it's going into the JRE)
 _ update github instructions
 _   only JRE needed at this point
 _   switched over to Java 7