diff options
@@ -204,7 +204,7 @@ keypress(GtkWidget* w, GdkEventKey *ev, gpointer d) { return FALSE; } } - if((ev->state & ~(GDK_SHIFT_MASK|GDK_LOCK_MASK)) == GDK_CONTROL_MASK) { + if(ev->state & GDK_CONTROL_MASK) { switch(ev->keyval) { case GDK_r: case GDK_R: |