Sorry I got confused about version 11 and 10. I meant Oracle JDK 10. This release does not have the issue unless I add -Djdk.gtk.version=3 on command line.
I also noticed that the issue goes away if I start NetBeans and other applications on OpenJDK-11 (which is actually version 10 on Ubuntu) with this flag: -Djdk.gtk.version=2
It seems that this issue occurs because of the padding used in GTK3 widgets. A quick fix would be to set GTK2 as default for now but what happens when GTK2 will be phased out?
Sorry I got confused about version 11 and 10. I meant Oracle JDK 10. This release does not have the issue unless I add -Djdk.gtk.version=3 on command line.
I also noticed that the issue goes away if I start NetBeans and other applications on OpenJDK-11 (which is actually version 10 on Ubuntu) with this flag: -Djdk.gtk.version=2
It seems that this issue occurs because of the padding used in GTK3 widgets. A quick fix would be to set GTK2 as default for now but what happens when GTK2 will be phased out?