BTW: I put up a PPA of openjdk-7 for precise and trusty (other releases
are possible) to test the very small code change that I think fixes this
specific bug.

add-apt-repository ppa:rtandy/lp937200

Would be happy to hear whether this works well for others and whether it
introduces any regressions.

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/937200

Title:
  Fat fonts in Swing applications

To manage notifications about this bug go to:
https://bugs.launchpad.net/openjdk/+bug/937200/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to