*** 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 Registry
Administrators, which is the registrant for Bug Buddy.
_______________________________________________
Mailing list: https://launchpad.net/~registry
Post to : [email protected]
Unsubscribe : https://launchpad.net/~registry
More help : https://help.launchpad.net/ListHelp
