pcworld, thanks for that test case.
Some helpful debug output can be had by running it like this:
java -Dsun.java2d.debugfonts=true TestCase
It's especially instructive to do that after:
gsettings reset org.gnome.desktop.interface font-name
and after:
gsettings set org.gnome.desktop.interface font-name 'DejaVu Sans 11' # or 'Droid Sans 11', or something else
and compare the results.
This does seem to work properly in current trusty. I'll try to figure out whether it was fixed by a change in openjdk-7 or in some other package.
pcworld, thanks for that test case.
Some helpful debug output can be had by running it like this:
java -Dsun.java2d. debugfonts= true TestCase
It's especially instructive to do that after:
gsettings reset org.gnome. desktop. interface font-name
and after:
gsettings set org.gnome. desktop. interface font-name 'DejaVu Sans 11' # or 'Droid Sans 11', or something else
and compare the results.
This does seem to work properly in current trusty. I'll try to figure out whether it was fixed by a change in openjdk-7 or in some other package.