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

Package: gnome-orca
Version: 3.4.2-2
Severity: normal

Dear Maintainer,
*** Please consider answering these questions, where appropriate ***

   * What led up to the situation?

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.

   * What exactly did you do (or not do) that was effective (or
     ineffective)?

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.

   * What outcome did you expect instead?

I expected to see "orca+F12 (double)" and hear the date pressing orca+f12 f12.
Because it's the same customisation method as the number 1, but in the reverted
order.