provide default gui refresh value

diff --git a/console.h b/console.h
index 5ebb24b612c6407d8057706368ed4f81d811899a..7bb1945be1b04deb5f1e9817c6ce236fc4c7bd63 100644 (file)
--- a/console.h
+++ b/console.h
@@ -62,6 +62,9 @@ void kbd_put_keysym(int keysym);
 
 /* consoles */
 
+/* in ms */
+#define GUI_REFRESH_INTERVAL 30
+
 struct DisplayState {
     uint8_t *data;
     int linesize;