And now it just spontaneously switched, without my doing anything, to 30px, which is what it had been before. It seems to have a mind of its own. Sometimes it comes up as 30px, and then goes to 32px, again on its own.
-- [KARMIC] Gnome Panel keeps insisting on a minimum of 32px height. https://bugs.launchpad.net/bugs/415683 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-panel in ubuntu. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
