Bug#683352: gnome-orca: Preferences menu: problem setting customized shortcuts
sthibault at debian.org
Wed Aug 8 22:52:42 UTC 2012
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
More information about the pkg-gnome-maintainers