Comment 11 for bug 716714

Revision history for this message
Stefan Dangl (stangls) wrote :

A workaround is to restart gnome-panel after the error occurred. Just enter "pkill gnome-panel" into console.