(In reply to comment #1)
OK, so it looks like it is probably not specific to Gnome 3 so I've taken out
the Gnome 3 reference in the bug title.
I did not have the issue on Ubuntu 10.x, but on my current Debian set-up the
menus do not reappear on their own. Resizing the Audacity window is required to
get the menu back.
(In reply to comment #1)
OK, so it looks like it is probably not specific to Gnome 3 so I've taken out
the Gnome 3 reference in the bug title.
I did not have the issue on Ubuntu 10.x, but on my current Debian set-up the
menus do not reappear on their own. Resizing the Audacity window is required to
get the menu back.