Comment 4 for bug 1153387

OK. Closing this then.

Just as a hint about the hotkey:
Yes pressing the hotkey several times is a easy way to select an item in the menu (see http://esite.ch/2011/12/03/whats-new-on-the-diodon-front/ ). However when you open up the menu with the hotkey just directly press Escape and the menu will close. This also works when you use the hotkey only once, then the keyboard arrows (which does not choose the item automatically) and then Escape.