diff options
author | Grant Gayed | 2012-12-12 21:17:42 +0000 |
---|---|---|
committer | Grant Gayed | 2012-12-12 21:36:25 +0000 |
commit | da3e941470aa6c84801ce5f261259031d52fd726 (patch) | |
tree | b2c449fb6ce6f0a63a0fc36eaac08895be8164fc | |
parent | 864e6172e3c37aef049b941378d72c63f910cc5d (diff) | |
download | eclipse.platform.swt-da3e941470aa6c84801ce5f261259031d52fd726.tar.gz eclipse.platform.swt-da3e941470aa6c84801ce5f261259031d52fd726.tar.xz eclipse.platform.swt-da3e941470aa6c84801ce5f261259031d52fd726.zip |
adjustment to fix for bug 392967
-rw-r--r-- | bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse/swt/browser/WebKit.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse/swt/browser/WebKit.java b/bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse/swt/browser/WebKit.java index e453267c46..4b13ae8230 100644 --- a/bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse/swt/browser/WebKit.java +++ b/bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse/swt/browser/WebKit.java @@ -654,9 +654,9 @@ public void create (Composite parent, int style) { int minor = WebKitGTK.webkit_minor_version (); if (minor >= 10) { Point size = browser.getSize(); - size.x += 1; size.y += 1; + size.x += 2; size.y += 2; browser.setSize(size); - size.x -= 1; size.y += 1; + size.x -= 2; size.y -= 2; browser.setSize(size); } } |