diff options
| author | Grant Gayed <grant_gayed@ca.ibm.com> | 2012-12-12 16:17:42 -0500 |
|---|---|---|
| committer | Grant Gayed <grant_gayed@ca.ibm.com> | 2012-12-12 16:17:42 -0500 |
| commit | ea64a3586726e69b3a6487ec2ec021a68fc2a5a5 (patch) | |
| tree | b3f6953f689424c4467ff8f1862dae7310611063 /bundles/org.eclipse.swt/Eclipse SWT WebKit | |
| parent | 6b5301fbe1636e6eaa6a8ebad279770d584904b2 (diff) | |
| download | eclipse.platform.swt-ea64a3586726e69b3a6487ec2ec021a68fc2a5a5.tar.gz eclipse.platform.swt-ea64a3586726e69b3a6487ec2ec021a68fc2a5a5.tar.xz eclipse.platform.swt-ea64a3586726e69b3a6487ec2ec021a68fc2a5a5.zip | |
adjustment to fix for bug 392967
Diffstat (limited to 'bundles/org.eclipse.swt/Eclipse SWT WebKit')
| -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 f62160bf66..4a1b35880b 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); } } |