Fantastic, Tiede! Your fix works. The size was set to 6 by default. Who would want that? I changed it to "1" because that's the way I liked it most.
-- gnome-panel doesn't hide all the way https://bugs.launchpad.net/bugs/218982 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