Bug#656685: GNOME/GTK eats up the F10 key

[Sven Joachim]

reassign 656685 libgtk-3-0
found 656685 3.2.3-1
forwarded 656685 https://bugzilla.gnome.org/show_bug.cgi?id=661973
thanks

On 2012-01-26 15:44 +0100, Christoph Anton Mitterer wrote:

> retitle 656685 GNOME/GTK eats up the F10 key
> reassign 656685 gnome-terminal
> notforwarded 656685
> stop
>
> Hi.
>
> This issue has found to be not a bug in xkb-data; see the "upstream
> bug" at https://bugs.freedesktop.org/show_bug.cgi?id=45008 .
>
> I'm reassigning this issue to gnome-terminal (although the problem is
> not limited to it) as it has been the first package, where I've
> noticed it.

Looks like it affects any gtk3 application, at least those that do
something when you press Shift-F10.

> Please have a look (also at the freedesktop.org bug for details), and
> reassign to the right package (I have no idea which this could be).

I'm reassigning it to libgtk-3-0, since the bug in the GNOME bugzilla is
assigned to gtk+.

Cheers,
       Sven