Author: yradtsevich Date: 2011-07-19 11:29:06 -0400 (Tue, 19 Jul 2011) New Revision: 33044 Modified: trunk/vpe/plugins/org.jboss.tools.vpe.xulrunner/src/org/jboss/tools/vpe/xulrunner/editor/Flasher.java Log: https://issues.jboss.org/browse/JBIDE-7295 : Closing Jboss Tools Jsp Editor causes Eclipse to crash https://issues.jboss.org/browse/JBIDE-8796 : Revert workaround for JBIDE-7295 - reverted changes Modified: trunk/vpe/plugins/org.jboss.tools.vpe.xulrunner/src/org/jboss/tools/vpe/xulrunner/editor/Flasher.java =================================================================== --- trunk/vpe/plugins/org.jboss.tools.vpe.xulrunner/src/org/jboss/tools/vpe/xulrunner/editor/Flasher.java 2011-07-19 15:19:54 UTC (rev 33043) +++ trunk/vpe/plugins/org.jboss.tools.vpe.xulrunner/src/org/jboss/tools/vpe/xulrunner/editor/Flasher.java 2011-07-19 15:29:06 UTC (rev 33044) @@ -18,9 +18,6 @@ */ public class Flasher { private inIFlasher iFlasher; - private static final boolean IS_OPEN_JDK = (System.getProperty("java.runtime.name")!=null&&System.getProperty("java.runtime.name").contains("OpenJDK")); //$NON-NLS-1$ //$NON-NLS-2$ //$NON-NLS-3$ - //fix for JBIDE-7957 - private static final boolean IS_LINUX=Platform.OS_LINUX.equals(Platform.getOS()); // added by Maksim Areshkau as element for which we // have drowed border. When we draw new border, // we should remove old one; @@ -34,9 +31,7 @@ XPCOM.IN_FLASHER_CONTRACTID, inIFlasher.INIFLASHER_IID); iFlasher.setThickness(2); //fix for JBIDE-7295, added by Maksim Areshkau - if (Platform.OS_MACOSX.equals(Platform.getOS()) - ||IS_OPEN_JDK - ||IS_LINUX) { + if (Platform.OS_MACOSX.equals(Platform.getOS())) { drawOutline = new DrawOutlineInterface() { private List<FlasherData> previouslyBorderedElements = null; public void drawElementOutline(List<FlasherData> flasherData) {