/** * Hack around the oversized vista header border installed by core. * Registers a (5,5,5,5) empty border for vista themes. Does nothing if the * OS is not Vista or the addon is classic windows or the JVM isn't 1.5. * * PENDING: can we have XP themes under vista? If so, this needs to be changed - * most probably the xp border is okay. * * @param addon * @param defaults */ private void hackVistaHeaderBorder(LookAndFeelAddons addon, DefaultsList defaults) { // do nothing if not vista or for classic design under vista if (!OS.isWindowsVista() || (addon instanceof WindowsClassicLookAndFeelAddons) || !JVM.current().isOneDotFive()) return; defaults.add(ColumnHeaderRenderer.VISTA_BORDER_HACK, new BorderUIResource.EmptyBorderUIResource(5, 5, 5, 5)); }
backgroundGradientEnd = new Color(177, 179, 200); } else { if (OS.isWindowsVista()) { final Toolkit toolkit = Toolkit.getDefaultToolkit(); background = new ColorUIResource((Color)toolkit.getDesktopProperty("win.3d.backgroundColor"));
backgroundGradientEnd = new Color(177, 179, 200); } else { if (OS.isWindowsVista()) { final Toolkit toolkit = Toolkit.getDefaultToolkit(); background = new ColorUIResource((Color)toolkit.getDesktopProperty("win.3d.backgroundColor"));
backgroundGradientEnd = new Color(177, 179, 200); } else { if (OS.isWindowsVista()) { final Toolkit toolkit = Toolkit.getDefaultToolkit(); background = new ColorUIResource((Color)toolkit.getDesktopProperty("win.3d.backgroundColor"));
backgroundGradientEnd = new Color(177, 179, 200); } else { if (OS.isWindowsVista()) { final Toolkit toolkit = Toolkit.getDefaultToolkit(); background = new ColorUIResource((Color)toolkit.getDesktopProperty("win.3d.backgroundColor"));
backgroundGradientEnd = new Color(177, 179, 200); } else { if (OS.isWindowsVista()) { final Toolkit toolkit = Toolkit.getDefaultToolkit(); background = new ColorUIResource((Color)toolkit.getDesktopProperty("win.3d.backgroundColor"));
defaults.add("TaskPane.specialTitleOver", new ColorUIResource(126, 124, 124)); defaults.add("TaskPane.borderColor", new ColorUIResource(Color.WHITE)); } else if (OS.isWindowsVista()) {
defaults.add("TaskPane.specialTitleOver", new ColorUIResource(126, 124, 124)); defaults.add("TaskPane.borderColor", new ColorUIResource(Color.WHITE)); } else if (OS.isWindowsVista()) {
defaults.add("TaskPane.specialTitleOver", new ColorUIResource(126, 124, 124)); defaults.add("TaskPane.borderColor", new ColorUIResource(Color.WHITE)); } else if (OS.isWindowsVista()) {
defaults.add("TaskPane.specialTitleOver", new ColorUIResource(126, 124, 124)); defaults.add("TaskPane.borderColor", new ColorUIResource(Color.WHITE)); } else if (OS.isWindowsVista()) {
defaults.add("TaskPane.specialTitleOver", new ColorUIResource(126, 124, 124)); defaults.add("TaskPane.borderColor", new ColorUIResource(Color.WHITE)); } else if (OS.isWindowsVista()) {