Yes, it seems to be gnome-panel crashing. Here is what I did: 1. Look at the current pid of gnome-panel 2. Pressed the Run... button to reproduce the problem 3. Looked at the pid of gnome-panel again
The pids before and after the problem were indeed different. -- Run Application on 20070319.1 seems to refresh Gnome https://launchpad.net/bugs/94433 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
