diff options
Diffstat (limited to 'ui')
| -rw-r--r-- | ui/gtk.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/ui/gtk.c b/ui/gtk.c index 188c40eef5..f0ad63e431 100644 --- a/ui/gtk.c +++ b/ui/gtk.c @@ -1206,6 +1206,12 @@ static gboolean gd_key_event(GtkWidget *widget, GdkEventKey *key, void *opaque) return TRUE; } +#ifdef WIN32 + /* on windows, we ought to ignore the reserved key event? */ + if (key->hardware_keycode == 0xff) + return false; +#endif + if (key->keyval == GDK_KEY_Pause #ifdef G_OS_WIN32 /* for some reason GDK does not fill keyval for VK_PAUSE |