also, lest the powers that be think this is resolved by a workaround... if the workaround only fixes the vertical offset and not the extra spacing then it is not really a full workaround. a number of programs, like any with vertically aligned buttons mixing text and graphics, use graphics where the extra vertical space occupied by the text label becomes an issue whether it is properly centered or not.
I am a linux noob, forgive me if I am overlooking something obvious here. -- openjdk label display in swing ui elements takes up too much vertical space https://bugs.launchpad.net/bugs/255983 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
