Adjust fonts of the screen and error window when adjusting the editor's font.

Author: acardona

src/main/java/org/scijava/ui/swing/script/TextEditor.java

@@ -305,8 +305,7 @@ public TextEditor(final Context context) {
 
 				@Override
 				public void actionPerformed(final ActionEvent event) {
-					getEditorPane().setFontSize(size);
-					updateTabAndFontSize(false);
+					setFontSize(size);
 				}
 			});
 			for (final char c : ("" + size).toCharArray()) {
@@ -1204,7 +1203,7 @@ else if (source == openInGitweb) {
 		else if (source == increaseFontSize || source == decreaseFontSize) {
 			getEditorPane().increaseFontSize(
 				(float) (source == increaseFontSize ? 1.2 : 1 / 1.2));
-			updateTabAndFontSize(false);
+			setFontSize(getEditorPane().getFontSize());
 		}
 		else if (source == nextTab) switchTabRelative(1);
 		else if (source == previousTab) switchTabRelative(-1);
@@ -2454,4 +2453,15 @@ public void changedUpdate(final DocumentEvent e) {
 		setTitle();
 	}
 
+	public void setFontSize(final float size) {
+		if (getEditorPane().getFontSize() != size)
+			getEditorPane().setFontSize(size);
+		changeFontSize(errorScreen, size);
+		changeFontSize(getTab().screen, size);
+		updateTabAndFontSize(false);
+	}
+
+	private void changeFontSize(final JTextArea a, final float size) {
+		a.setFont(a.getFont().deriveFont(size));
+	}
 }

src/main/java/org/scijava/ui/swing/script/TextEditorTab.java

@@ -217,6 +217,10 @@ public JTextArea getScreen() {
 		return showingErrors ? textEditor.getErrorScreen() : screen;
 	}
 
+	public JTextArea getScreenInstance() {
+		return screen;
+	}
+
 	boolean isExecuting() {
 		return null != getExecuter();
 	}

src/main/java/org/scijava/ui/swing/script/commands/ChooseFontSize.java

@@ -31,6 +31,8 @@
 
 package org.scijava.ui.swing.script.commands;
 
+import javax.swing.JTextArea;
+
 import org.scijava.command.ContextCommand;
 import org.scijava.plugin.Parameter;
 import org.scijava.ui.swing.script.TextEditor;
@@ -51,9 +53,16 @@ public class ChooseFontSize extends ContextCommand {
 	@Override
 	public void run() {
 		editor.getEditorPane().setFontSize(fontSize);
+		final float size = editor.getEditorPane().getFontSize();
+		changeFontSize(editor.getErrorScreen(), size);
+		changeFontSize(editor.getTab().getScreenInstance(), size);
 		editor.updateTabAndFontSize(false);
 	}
 
+	private void changeFontSize(final JTextArea a, final float size) {
+		a.setFont(a.getFont().deriveFont(size));
+	}
+
 	protected void initializeChoice() {
 		fontSize = (int) editor.getEditorPane().getFontSize();
 	}