*** This bug is a duplicate of bug 58179 ***
https://bugs.launchpad.net/bugs/58179
I am experimenting this issue under Linux Mint 10. I use this command at
the moment: "killall gnome-panel"
Thanks for this tip daqron.
So long!
--
Auto-hide in gnome-panel
https://bugs.launchpad.net/bugs/45974
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is a direct subscriber.
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
