Bug#683352: gnome-orca: Preferences menu: problem setting customized shortcuts

[Samuel Thibault]

Jean-Philippe MENGUAL, le Tue 31 Jul 2012 02:31:04 +0200, a écrit :
> I use orca on wheezy. I want to customise my keyboard shortcuts of orca. For instance,
> I'd like it to read date and clock with ins+F12 (double) and ins+F12.
> 
> 1. On Date item in Keyboard shortcuts tab, I do orca+F12 F12, no problem. 
> It displays orca+F12 (double click). Then, on Clock, I do orca+F12,
> it works too.
> 2. On Clock, I do orca+F12, ok it displays Orca+F12. Then, I go to
> Date item, and orca+F12 F12. 
> 
>    * What was the outcome of this action?
> 
> I see displayed F12, and only F12 enables me to get the date said.

Put another way, it seems that, after having defined the orca+F12
shortcut, when defining the orca+F12+F12 shortcut, the orca+F12 part
gets eaten by the orca+F12 shortcut defined just before. While defining
the orca+F12+F12 shortcut first, and then orca+F12 doesn't have the
issue of course.

So a solution would be that previously-define shortcuts should be
disabled when defining a new one.

Jean-Philippe, maybe you should rather forward this issue directly
upstream, it's not specific to Debian. Make sure to integrate my
comments too.

Samuel