Author: yradtsevich
Date: 2012-06-08 10:51:45 -0400 (Fri, 08 Jun 2012)
New Revision: 41818
Modified:
trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/ui/BrowserSim.java
Log:
https://issues.jboss.org/browse/JBIDE-12149 : BrowserSim: scrollbar artifacts
Modified:
trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/ui/BrowserSim.java
===================================================================
---
trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/ui/BrowserSim.java 2012-06-08
14:19:35 UTC (rev 41817)
+++
trunk/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/ui/BrowserSim.java 2012-06-08
14:51:45 UTC (rev 41818)
@@ -255,7 +255,13 @@
public Object function(Object[] arguments) {
double pageYOffset = (Double) arguments[0];
if (pageYOffset > 0.0) {
- skin.setAddressBarVisible(false);
+ display.asyncExec(new Runnable() {
+ public void run() {
+ if (skin != null && skin.getShell() != null &&
!skin.getShell().isDisposed()) {
+ skin.setAddressBarVisible(false);
+ }
+ }
+ });
}
return null;
}