Author: mareshkau
Date: 2010-10-13 09:40:15 -0400 (Wed, 13 Oct 2010)
New Revision: 25784
Modified:
trunk/vpe/plugins/org.jboss.tools.vpe.xulrunner/src/org/jboss/tools/vpe/xulrunner/editor/Flasher.java
Log:
JBIDE-7295
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-10-13
12:50:09 UTC (rev 25783)
+++
trunk/vpe/plugins/org.jboss.tools.vpe.xulrunner/src/org/jboss/tools/vpe/xulrunner/editor/Flasher.java 2010-10-13
13:40:15 UTC (rev 25784)
@@ -16,6 +16,7 @@
*/
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$
// added by Maksim Areshkau as element for which we
// have drowed border. When we draw new border,
@@ -29,10 +30,11 @@
iFlasher = (inIFlasher) serviceManager.getServiceByContractID(
XPCOM.IN_FLASHER_CONTRACTID, inIFlasher.INIFLASHER_IID);
iFlasher.setThickness(2);
- if (Platform.OS_MACOSX.equals(Platform.getOS())) {
+ //fix for JBIDE-7295, added by Maksim Areshkau
+ if (Platform.OS_MACOSX.equals(Platform.getOS())
+ ||IS_OPEN_JDK) {
drawOutline = new DrawOutlineInterface() {
private nsIDOMElement lastBorderedElement = null;
- @Override
public void drawElementOutline(nsIDOMElement domElement) {
if (this.lastBorderedElement != null
&& this.lastBorderedElement.getAttribute(XulRunnerEditor.STYLE_ATTR) !=
null) {
Show replies by date