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