[jbosstools-commits] JBoss Tools SVN: r40717 - trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/ui/skin.

[jbosstools-commits at lists.jboss.org]

Author: yradtsevich
Date: 2012-05-02 11:06:31 -0400 (Wed, 02 May 2012)
New Revision: 40717

Modified:
   trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/ui/skin/TextSelectionUtil.java
Log:
https://issues.jboss.org/browse/JBIDE-11334	: BrowserSim: provide a more appropriate stop button

Modified: trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/ui/skin/TextSelectionUtil.java
===================================================================
--- trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/ui/skin/TextSelectionUtil.java	2012-05-02 15:04:42 UTC (rev 40716)
+++ trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/ui/skin/TextSelectionUtil.java	2012-05-02 15:06:31 UTC (rev 40717)
@@ -55,7 +55,9 @@
 		display.asyncExec(new Runnable() {
 			@Override
 			public void run() {
-				text.selectAll();
+				if (!text.isDisposed()) {
+					text.selectAll();
+				}
 			}
 		});
 	}
@@ -64,7 +66,9 @@
 		display.asyncExec(new Runnable() {
 			@Override
 			public void run() {
-				text.clearSelection();
+				if (!text.isDisposed()) {
+					text.clearSelection();
+				}
 			}
 		});
 	}