fallback to getkey after gint's getkey improvements

src/keyboard.c

@@ -26,7 +26,7 @@ void MKB_clear()
 int MKB_getkey()
 {
 	MKB_clear();
-
+/*
 	while (1)
 	{
 		key_event_t const e=pollevent();
@@ -37,6 +37,8 @@ int MKB_getkey()
 		else
 		sleep(); // Processor friendly :)
 	}
+*/
+	return getkey_opt(GETKEY_REP_ARROWS,0).key;
 }
 
 static int menu_pause() // 1 exit, 0 continue