Workaround for Bug 3129 - scripting console output font

Arvid did some research and found out the the right font should be already set in the createPartControl method. We don't know yet why it doesn't work, but for now we solve it by setting the font in the printMessage method.
bioclipse · Feb 28, 2012 · bc78579 · bc78579
1 parent 356ae92
commit bc78579
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();
         }
     }