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.
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.