Author: yradtsevich
Date: 2012-06-08 13:38:32 -0400 (Fri, 08 Jun 2012)
New Revision: 41828
Modified:
branches/jbosstools-3.3.x/vpe/plugins/org.jboss.tools.vpe.browsersim/
branches/jbosstools-3.3.x/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
Property changes on: branches/jbosstools-3.3.x/vpe/plugins/org.jboss.tools.vpe.browsersim
___________________________________________________________________
Added: svn:mergeinfo
+ /trunk/vpe/plugins/org.jboss.tools.vpe.browsersim:41818
Modified:
branches/jbosstools-3.3.x/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/ui/BrowserSim.java
===================================================================
---
branches/jbosstools-3.3.x/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/ui/BrowserSim.java 2012-06-08
17:16:22 UTC (rev 41827)
+++
branches/jbosstools-3.3.x/vpe/plugins/org.jboss.tools.vpe.browsersim/src/org/jboss/tools/vpe/browsersim/ui/BrowserSim.java 2012-06-08
17:38:32 UTC (rev 41828)
@@ -239,7 +239,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;
}