Author: mareshkau Date: 2010-12-27 07:10:44 -0500 (Mon, 27 Dec 2010) New Revision: 27748 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-7957 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 2010-12-27 12:03:54 UTC (rev 27747) +++ trunk/vpe/plugins/org.jboss.tools.vpe.xulrunner/src/org/jboss/tools/vpe/xulrunner/editor/Flasher.java 2010-12-27 12:10:44 UTC (rev 27748) @@ -17,7 +17,8 @@ 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_X86_64=Platform.OS_LINUX.equals(Platform.getOS())&&Platform.ARCH_X86_64.equals(Platform.getOSArch()); // added by Maksim Areshkau as element for which we // have drowed border. When we draw new border, // we should remove old one; @@ -32,7 +33,8 @@ iFlasher.setThickness(2); //fix for JBIDE-7295, added by Maksim Areshkau if (Platform.OS_MACOSX.equals(Platform.getOS()) - ||IS_OPEN_JDK) { + ||IS_OPEN_JDK + ||IS_LINUX_X86_64) { drawOutline = new DrawOutlineInterface() { private nsIDOMElement lastBorderedElement = null; public void drawElementOutline(nsIDOMElement domElement) {