[orca-list] gnome-terminal ingnome 3.8

[José Vilmar Estácio de Souza <vilmar informal com br>]

Hi all.
I managed to install gnome 3.8 in a VM and I noticed that the f10 key 
doesn't work in gnome-terminal.
When I press the f10 key the menu bar is not activated as in previous 
version.

I know that this list is not the correct place to report this kind of 
situation but I wonder if someone who is already using the gnome 3.8 can 
confirm the existence of this problem.
Thanks.


--
{}S José Vilmar Estácio de Souza