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