(In reply to comment #14)
> Replace libwebkitgtk-1 with libwebkitgtk-3
Thanks a million for posting this!
I removed the libwebkitgtk-1.0* files to test. Eclipse starts normally and hovers work, but they do not seem to use a browser window anymore: they look like text input boxes with only rudimentary formatting of the html javadoc.
Looking at what libraries are open (lsof -p) I see that webkitgtk-3* is not used at all - so clearly eclipse is not automatically picking up libwebkitgtk-3 but just not using libwebkitgtk at all. Which is so far fine by me - not dying has priority ;-)
(In reply to comment #14)
> Replace libwebkitgtk-1 with libwebkitgtk-3
Thanks a million for posting this!
I removed the libwebkitgtk-1.0* files to test. Eclipse starts normally and hovers work, but they do not seem to use a browser window anymore: they look like text input boxes with only rudimentary formatting of the html javadoc.
Looking at what libraries are open (lsof -p) I see that webkitgtk-3* is not used at all - so clearly eclipse is not automatically picking up libwebkitgtk-3 but just not using libwebkitgtk at all. Which is so far fine by me - not dying has priority ;-)