Thanks for measuring this, I had feared it would be like this :/ I wonder if we can cheat somehow and calculating the size of the string, set it in the header to fixed size based and the calculation?
-- The Popularity column header can't be resized https://bugs.launchpad.net/bugs/286154 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
