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 Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
