diff options
| author |  Alexey Yakovenko <waker@users.sourceforge.net> | 2013-10-06 18:56:48 +0200 |
|---|---|---|
| committer | Alexey Yakovenko <waker@users.sourceforge.net> | 2013-10-06 18:56:48 +0200 |
| commit | 360a1f572d542ba54509bd55f63cd05bee9736b6 (patch) | |
| tree | cb2d3f5e8a2cb2dbd3200e5258355a200360b455 /plugins/gtkui/hotkeys.c | |
| parent | da2da15dbd758650b28fef194388c81cded5245a (diff) | |
gtkui: debug printf cleanup
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 |