Author: mareshkau Date: 2011-02-11 10:32:58 -0500 (Fri, 11 Feb 2011) New Revision: 29117 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-8364 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-02-11 15:29:36 UTC (rev 29116) +++ trunk/vpe/plugins/org.jboss.tools.vpe.xulrunner/src/org/jboss/tools/vpe/xulrunner/editor/Flasher.java 2011-02-11 15:32:58 UTC (rev 29117) @@ -18,7 +18,7 @@ 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_X86_64=Platform.OS_LINUX.equals(Platform.getOS())&&Platform.ARCH_X86_64.equals(Platform.getOSArch()); + 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,7 +34,7 @@ //fix for JBIDE-7295, added by Maksim Areshkau if (Platform.OS_MACOSX.equals(Platform.getOS()) ||IS_OPEN_JDK - ||IS_LINUX_X86_64) { + ||IS_LINUX) { drawOutline = new DrawOutlineInterface() { private nsIDOMElement lastBorderedElement = null; public void drawElementOutline(nsIDOMElement domElement) {