Eclipse crashes when opening GWT Designer visual editor with WebKitGTK 1.10

[GoogleCodeExporter]

What steps will reproduce the problem?
1. Open an appropriate file with the GWT Designer editor and switch to design 
tab

What is the expected output? What do you see instead?

I expect to see the visual designer, instead Eclipse either hangs on a modal 
progress dialog saying "Initializing GWT Development Mode" indefinitely, or 
crashes with the following output:

#
# A fatal error has been detected by the Java Runtime Environment:
#
#  SIGSEGV (0xb) at pc=0x00007fe14ddca5a0, pid=27698, tid=140606793508608
#
# JRE version: 7.0_21-b11
# Java VM: Java HotSpot(TM) 64-Bit Server VM (23.21-b01 mixed mode linux-amd64 
compressed oops)
# Problematic frame:
# C  [libwebkitgtk-1.0.so.0+0x14245a0]  void 
WTF::freeOwnedGPtr<_GdkEvent>(_GdkEvent*)+0x15df0
#
# Failed to write core dump. Core dumps have been disabled. To enable core 
dumping, try "ulimit -c unlimited" before starting Java again
#
# An error report file with more information is saved as:
# /home/lorenzo/opt/hs_err_pid27698.log
#
# If you would like to submit a bug report, please visit:
#   http://bugreport.sun.com/bugreport/crash.jsp
# The crash happened outside the Java Virtual Machine in native code.
# See problematic frame for where to report the bug.
#

Please find the error report attached (hs_err_pid16600.log).

What version of the product are you using? On what operating system?

- Eclipse Juno SR2
- GWT Designer 3.1.2.r42x201303061525 (from the Google Plugin update site at 
http://dl.google.com/eclipse/plugin/4.2)
- Ubuntu 12.10 64 bit
- libwebkitgtk-1.0-0 version 1.10.0-0ubuntu1.1

Please provide any additional information below.

The issue is due to a bug in WebKitGTK 1.10 (which is the package repository 
version on Ubuntu 12.10). The SWT browser widget has the same problem, see 
https://bugs.eclipse.org/bugs/show_bug.cgi?id=392967

I've attached a patch that fixes the issue, and published a feature patch that 
can be installed as a workaround until a fixed version of gwt designer will 
come out. You can find the feature patch at this update site:

http://lorecarra.appspot.com/update-sites/gwt-designer-patches/

Original issue reported on code.google.com by lorenzo....@cubica.eu on 23 Apr 2013 at 11:03

Attachments:

• bs-webkit-window-size.patch
• hs_err_pid16600.log