UIManager.put("TabbedPane.selected", UIManager.get("Panel.background"));
UIManager.put("TabbedPane.background", UIManager.get("Panel.background"));
UIManager.put("TabbedPane.contentAreaColor", UIManager.get("Panel.background"));
UIManager.put("TextPane.font", Constants.MONOSPACED_PLAIN_12);
UIManager.put("TextArea.font", Constants.MONOSPACED_PLAIN_12);
<BUG>UIManager.put("List.font", Constants.MONOSPACED_PLAIN_12);
}</BUG>
public static void tryShowMessage(String message) {
if (commandLine != null && !commandLine.isNoGUI()) {
StaticDialogs.showMessage(message);

UIManager.put("TabbedPane.selected", UIManager.get("Panel.background"));
UIManager.put("TabbedPane.background", UIManager.get("Panel.background"));
UIManager.put("TabbedPane.contentAreaColor", UIManager.get("Panel.background"));
UIManager.put("TextPane.font", Constants.MONOSPACED_PLAIN_12);
UIManager.put("TextArea.font", Constants.MONOSPACED_PLAIN_12);
UIManager.put("List.font", Constants.MONOSPACED_PLAIN_12);
UIManager.put("Button.background", UIManager.get("Panel.background"));
}
public static void tryShowMessage(String message) {
if (commandLine != null && !commandLine.isNoGUI()) {
StaticDialogs.showMessage(message);
