Ubuntu
gnome-panel package

  1. Bug #218982
  2. Comment #7

Comment 7 for bug 218982

Revision history for this message
NoOp (glgxg) wrote : Re: [Bug 218982] Re: gnome-panel doesn't hide all the way

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.