** Changed in: gnome-panel
Status: Invalid = New
** Changed in: gnome-panel
Importance: Unknown = Medium
--
Menu hotkey Alt+F1 and auto-hide panel do not play well together
https://bugs.launchpad.net/bugs/333406
You received this bug notification because you are a member of Ubuntu
** Changed in: gnome-panel
Status: New = Invalid
--
Menu hotkey Alt+F1 and auto-hide panel do not play well together
https://bugs.launchpad.net/bugs/333406
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing
That gnome-panel status update is incorrect, the upstream marked it as
RESOLVED AS DUPLICATE for this bug:
http://bugzilla.gnome.org/show_bug.cgi?id=525756
That's not the same as Invalid AFAIK.
--
Menu hotkey Alt+F1 and auto-hide panel do not play well together
Actually, it's bug 576261 that was marked RESOLVED DUPLICATE, but the
bug watch now points to 525756 and lists that as RESOLVED DUPLICATE
while the source is UNCONFIRMED? Eh?
--
Menu hotkey Alt+F1 and auto-hide panel do not play well together
https://bugs.launchpad.net/bugs/333406
You received
the bug watch can take some time to autoupdate that's normal
--
Menu hotkey Alt+F1 and auto-hide panel do not play well together
https://bugs.launchpad.net/bugs/333406
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs
I forwarded your bug upstream. You can track it and make comments here:
http://bugzilla.gnome.org/show_bug.cgi?id=576261
** Bug watch added: GNOME Bug Tracker #576261
http://bugzilla.gnome.org/show_bug.cgi?id=576261
** Also affects: gnome-panel via
** Changed in: gnome-panel
Status: Unknown = New
--
Menu hotkey Alt+F1 and auto-hide panel do not play well together
https://bugs.launchpad.net/bugs/333406
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing
Thank you for your bug report
** Changed in: gnome-panel (Ubuntu)
Importance: Undecided = Low
Assignee: (unassigned) = Ubuntu Desktop Bugs (desktop-bugs)
** Changed in: gnome-panel (Ubuntu)
Status: New = Confirmed
--
Menu hotkey Alt+F1 and auto-hide panel do not play well