A patch that should work for standard installations of gnome-panel is included. To patch, download to your home directory (~/), and execute, in a terminal:
"sudo patch -i gnome-panel.desktop.patch /usr/share/applications/gnome-panel.desktop"
This should work for users that have the problem as described by Nathan Rogers in a previous comment.
Exact commands used to create and test the patch (with gnome-panel.desktop being the broken version and gnome-panel.desktop1 being the fixed version):
"diff -cr /usr/share/applications/gnome-panel.desktop /usr/share/applications/gnome-panel.desktop1 > gnome-panel.desktop.patch"
"sudo patch -i gnome-panel.desktop.patch /usr/share/applications/gnome-panel.desktop"
A patch that should work for standard installations of gnome-panel is included. To patch, download to your home directory (~/), and execute, in a terminal: desktop. patch /usr/share/ applications/ gnome-panel. desktop"
"sudo patch -i gnome-panel.
This should work for users that have the problem as described by Nathan Rogers in a previous comment.
Exact commands used to create and test the patch (with gnome-panel.desktop being the broken version and gnome-panel. desktop1 being the fixed version): applications/ gnome-panel. desktop /usr/share/ applications/ gnome-panel. desktop1 > gnome-panel. desktop. patch" desktop. patch /usr/share/ applications/ gnome-panel. desktop"
"diff -cr /usr/share/
"sudo patch -i gnome-panel.