[orca-list] problems with menus in terminal

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

Title: Assinatura Informal

Hi all.

I am not sure if this is related to the fact that now I am using gnome 3.22 or to some changes in scripts used by orca in gnome-terminal.

To reproduce try the following steps:

1. Open terminal.
2. Press the f10 key.
3. Press the right arrow key.

Orca should read edit menu but instead orca reads only menu.
I can capture a debug file if it can not be reproduced.
Thanks.

-- <