gtk: skip keyboard grab when hover autograb is active

It's pointless.  With grab on hover enabled the keyboard grab
is already active when you press Ctrl-Alt-G ;)

Signed-off-by: Gerd Hoffmann <kraxel@redhat.com>

diff --git a/ui/gtk.c b/ui/gtk.c
index d87bd1bfebcf32e207bab58c150304f830ae9170..f8048138fed105fbfb2f39dd99af231425bd4399 100644 (file)
--- a/ui/gtk.c
+++ b/ui/gtk.c
@@ -1183,7 +1183,9 @@ static void gd_menu_grab_input(GtkMenuItem *item, void *opaque)
     VirtualConsole *vc = gd_vc_find_current(s);
 
     if (gd_is_grab_active(s)) {
-        gd_grab_keyboard(vc);
+        if (!gd_grab_on_hover(s)) {
+            gd_grab_keyboard(vc);
+        }
         gd_grab_pointer(vc);
     } else {
         gd_ungrab_keyboard(s);