Permalink
Browse files

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.
  • Loading branch information...
Valentin Georgiev
Valentin Georgiev committed Feb 28, 2012
1 parent 356ae92 commit bc78579e181b816469326231042bb69e3e0305af
@@ -401,6 +401,7 @@ public void printMessage(String message) {
synchronized (output) {
output.append(message);
+ output.setFont(JFaceResources.getTextFont());
output.redraw();
}
}

0 comments on commit bc78579

Please sign in to comment.