/** * 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)); }