Open mario-grgic opened 5 years ago
me too
It is also happening with Eclipse 2019-03 on Windows 10.
Which JRE/JDK are you using to launch Eclipse ? I noticed that it is working with version 8 but not version 11.
@ncelerier I'm using OpenJDK 11.
$ java -version
openjdk version "11" 2018-09-25
OpenJDK Runtime Environment 18.9 (build 11+28)
OpenJDK 64-Bit Server VM 18.9 (build 11+28, mixed mode)
Can confirm this on Windows 8.1 64bit. The issue exists under Oracle JDK 12 (specified under eclipse.ini -vm option), but goes away when I switch back to JDK 8. eclipse 2019-06
confirmed this on win10 x64 + openJdk 11, eclipse 4.12
Confirmed on Windows 10 with AdoptOpenJDK 13 and Eclipse 4.12 or 4.13.
Anyone know of a work around? Or where in the code to start poking around in hopes of fixing this problem?
Also confirmed on Windows 10 with AdoptOpenJDK 14 and Eclipse 2020-03.
Looks like this bug was fixed by the most recent commit. Works great now!
I am using Eclipse 2018-12 on macOS Mojave and themes seem to work but on Eclipse restart the theme is not applied. Manually applying the same or different theme does make it work again.