I found the answer. It's a some-how bug in Ubuntu with Eclipse.
https://bugs.eclipse.org/bugs/show_bug.cgi?id=456786
Basically it's solved by tweaking between GTK versions.
Note that due to the existence of this bug in Eclipse Ubuntu 16 LTS - Eclipse window preferences not working properly, the GTK version must be set to 2 (in my case 3
is ok too) and you have to install libwebkitgtk-1.0-0
, not 3.0-0
. I have not tested 2.0-0
because that's a lot to download.
So, to put it together, you have to set in eclipse.ini
:
--launcher.GTK_version
2
Or:
--launcher.GTK_version
3
before the line of
--launcher.appendVmargs
And, open the terminal and install:
sudo apt-get install libwebkitgtk-1.0-0
And restart Eclipse to see Preference tree and Javadoc web view both work.