diff options
author | Grant Gayed <grant_gayed@ca.ibm.com> | 2012-12-10 14:29:05 -0500 |
---|---|---|
committer | Grant Gayed <grant_gayed@ca.ibm.com> | 2012-12-10 14:29:05 -0500 |
commit | 2f3d49ba73e9698816b3279c62658e8cff81ad99 (patch) | |
tree | a4de861514ee162158dab04d6c6895b20579836a /bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse/swt/browser/WebKit.java | |
parent | f074fc3e3925d2d22fe9e0cc683dea5325986b4c (diff) | |
download | eclipse.platform.swt-2f3d49ba73e9698816b3279c62658e8cff81ad99.tar.gz eclipse.platform.swt-2f3d49ba73e9698816b3279c62658e8cff81ad99.tar.xz eclipse.platform.swt-2f3d49ba73e9698816b3279c62658e8cff81ad99.zip |
Bug 392967 - eclipse crash SIGSEGV when trying to use Webkit
Diffstat (limited to 'bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse/swt/browser/WebKit.java')
-rw-r--r-- | bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse/swt/browser/WebKit.java | 9 |
1 files changed, 9 insertions, 0 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 9652dde95d..4dcd5388a2 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 @@ -644,6 +644,15 @@ public void create (Composite parent, int style) { * be changed. */ browser.setData (KEY_CHECK_SUBWINDOW, Boolean.FALSE); + + int minor = WebKitGTK.webkit_minor_version (); + if (minor >= 10) { + Point size = browser.getSize(); + size.x += 1; size.y += 1; + browser.setSize(size); + size.x -= 1; size.y += 1; + browser.setSize(size); + } } void addEventHandlers (long /*int*/ web_view, boolean top) { |