shortcut for Orca settings

[Christophe Strobbe <strobbe hdm-stuttgart de>]

Hi,

In some older versions of Fedora, launching Orca also launched the Orca
options dialog. In Fedora 19 and 20, this is no longer the case. At the
same time, the shortcut to open Orca's options - INS + Space (assuming
INS has been set as Orca modifier) does not seem to work. In Fedora 20,
INS + Space only opens the Orca settings when I am in the system
settings. However, according to the documentation at
<https://help.gnome.org/users/orca/stable/commands_controlling_orca.html.en>,
simply pressing Orca Modifier + Space should be sufficient. (There used
to be a shortcut to exit Orca, i.e. Orca Modifier + Q, but I can't
remember that this ever worked on the Fedora versions that I tested.) Am
I missing anything?

Best regards,

Christophe

-- 
Christophe Strobbe
Akademischer Mitarbeiter
Adaptive User Interfaces Research Group
Hochschule der Medien
Nobelstraße 10
70569 Stuttgart
Tel. +49 711 8923 2749