diff options
Diffstat (limited to 'plugins/gtkui/hotkeys.c')
-rw-r--r-- | plugins/gtkui/hotkeys.c | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/plugins/gtkui/hotkeys.c b/plugins/gtkui/hotkeys.c index f70db363..1c13247e 100644 --- a/plugins/gtkui/hotkeys.c +++ b/plugins/gtkui/hotkeys.c @@ -695,7 +695,6 @@ on_hotkeys_set_key_key_press_event (GtkWidget *widget, gpointer user_data) { if (!grabbed) { - printf ("was not grabbed\n"); return FALSE; } @@ -707,8 +706,6 @@ on_hotkeys_set_key_key_press_event (GtkWidget *widget, GdkModifierType consumed_modifiers; GdkDisplay *display; - printf ("was grabbed\n"); - display = gtk_widget_get_display (widget); if (event->is_modifier) @@ -813,7 +810,6 @@ hotkey_grab_focus (GtkWidget *widget) { } gtk_button_set_label (GTK_BUTTON (widget), _("New key combination...")); grabbed = 1; - printf ("successfully grabbed\n"); } void |