Yes, it still crashing on auto-complete due to a specific Eclipse bug triggered under a (limited?) set of Linux configurations.
We updated the Editor issue with or current understanding of it as follows:
This appears to be very specific to limited class of Linux configurations. The relevant Eclipse case references Gnome:stable:3.8 with WebKitGTK 2.0 although it might happen with other combinations. The crash is in Eclipse code rather than Editor code which makes it a much more difficult problem to address. The Eclipse folks reproduced the problem in 3.8, 4.2, & 4.3 but are only adding the patch to the next 4.3 release.
According to the Eclipse bug, some people find that defining this helps:
-Dorg.eclipse.swt.browser.DefaultType=mozilla
Using a different (older?) Linux distro or a different combination of Linux libraries might also help.
It is likely that we will eventually need to apply the patch ourselves if Eclipse.org does not patch the 3.x series of plugins that we are using. The patch can be found here:
On Tuesday, May 7, 2013 8:08:18 AM UTC-4, George Moschovitis wrote:
Still crashes on auto-complete :(