@ -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: