Comment 12 for bug 542343

Revision history for this message
collinp (collinp) wrote :

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"