jasonq wrote: > 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. >
Confirmed here as well. Thanks Tiede! Now I wonder if the gnome-panel folks can reset to 0 or 1 as default instead of 6. -- 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
