private static void applySkinSettings() {
applyCommonSkinUI();
fixAAFontSettings();
UIManager.put("Tree.leafIcon", UIManager.getIcon("Tree.closedIcon"));
// remove split pane borders
UIManager.put("SplitPane.border", BorderFactory.createEmptyBorder());
if (!OSUtils.isMacOSX()) {
UIManager.put(
"Table.focusRowHighlightBorder", UIManager.get("Table.focusCellHighlightBorder"));
}
UIManager.put("Table.focusCellHighlightBorder", BorderFactory.createEmptyBorder(1, 1, 1, 1));
// Add a bold text version of simple text.
Font normal = UIManager.getFont("Table.font");
FontUIResource bold = new FontUIResource(normal.getName(), Font.BOLD, normal.getSize());
UIManager.put("Table.font.bold", bold);
UIManager.put("Tree.rowHeight", 0);
}
