Making editor font size apply to serial monitor and console (Paul Stoffregen)

http://code.google.com/p/arduino/issues/detail?id=550

Author: damellis

app/src/processing/app/EditorConsole.java

@@ -88,7 +88,9 @@ public EditorConsole(Editor editor) {
     Color bgColor    = Theme.getColor("console.color");
     Color fgColorOut = Theme.getColor("console.output.color");
     Color fgColorErr = Theme.getColor("console.error.color");
-    Font font        = Theme.getFont("console.font");
+    Font consoleFont = Theme.getFont("console.font");
+    Font editorFont = Preferences.getFont("editor.font");
+    Font font = new Font(consoleFont.getName(), consoleFont.getStyle(), editorFont.getSize());
 
     stdStyle = new SimpleAttributeSet();
     StyleConstants.setForeground(stdStyle, fgColorOut);

app/src/processing/app/SerialMonitor.java

@@ -62,7 +62,9 @@ public void actionPerformed(ActionEvent e) {
 
     getContentPane().setLayout(new BorderLayout());
 
-    Font font = Theme.getFont("console.font");
+    Font consoleFont = Theme.getFont("console.font");
+    Font editorFont = Preferences.getFont("editor.font");
+    Font font = new Font(consoleFont.getName(), consoleFont.getStyle(), editorFont.getSize());
 
     textArea = new JTextArea(16, 40);
     textArea.setEditable(false);    
@@ -225,4 +227,4 @@ public void run() {
         }
       }});
   }
-}
+}