Pedro, Actually, looking with gconf-editor, I noticed that the default for the top panel was 30px; 24px for the bottom. But that aside, I believe that I've spotted the problem.
The problem happens whenever -- and so far only whenever -- gnome- settings-daemon is dead. Starting gnome-settings-daemon consistently corrects the problem immediately. So at worst, this behavior of 32px happens when gnome-settings-daemon is dead, and is easily fixed. -- 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 a bug assignee. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
