Merge pull request #3 from valyo/2.5.x

2.5.x Workaround for Bug 3129
bioclipse · Feb 28, 2012 · 3daf432 · 3daf432
2 parents 356ae92 + bc78579
commit 3daf432
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/...net.bioclipse.scripting.ui/src/net/bioclipse/scripting/ui/views/ScriptingConsoleView.java b/...net.bioclipse.scripting.ui/src/net/bioclipse/scripting/ui/views/ScriptingConsoleView.java
@@ -401,6 +401,7 @@ public void printMessage(String message) {
 
         synchronized (output) {
             output.append(message);
+            output.setFont(JFaceResources.getTextFont());
             output.redraw();
         }
     }