In the meantime -- I looked at a slightly different way of fixing this. Padding between widgets in the header looked a little unusual to me anyway; so I added 5 pixels on top and bottom; then pushed the result to my PPA. If someone wants to try it and review whether it makes things better or not:
https://launchpad.net/~mathieu-tl/+archive/ppa/+sourcepub/2495974 /+listing-archive-extra Just a workaround, but the change with 10px (although that's arguably a lot) seems to work properly at multiple font sizes. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/811475 Title: Descender letters (g j p q y) get their tail cut off in current song To manage notifications about this bug go to: https://bugs.launchpad.net/hundredpapercuts/+bug/811475/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
