Something boring with gnome panel is that it stops hiding automatically quite usually.
A simple way to restore the hide/unhide function quickly when it happens is to use the command:
killall gnome-panel
This command will kill gnome-panel, and it will restart automatically. It's not very nice, but it works.
To ease the process, just create a launcher with this command. This way, you will be able to restore you gnome-panel functionality with a simple click.
No comments:
Post a Comment