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(); + } } }); }