GNOME Panel

  1. Bug #58179
  2. Comment #6

Comment 6 for bug 58179

Revision history for this message
Bálint Magyar (balintm) wrote :

Not sure if the below symptoms are due to this bug or not:

0) Set panel to autohide.
1) Install package sshmenu-gnome.
2) Add it to a panel.
3) Push mouse cursor to screen edge to reveal panel so that it unhides.
4) Click newly created SSH button on the panel, select a menu option. Panel doesn't autohide.

Hovering it with the mouse and leaving its area again triggers autohide.