This Bugzilla instance is a read-only archive of historic NetBeans bug reports. To report a bug in NetBeans please follow the project's instructions for reporting issues.
String fontStr = System.getProperty ("nb.output.font");
if (fontStr != null) {
Font f = new Font (fontStr, Font.PLAIN, textView.getFont().getSize());
textView.setFont (f);
}