From 13832685cd406c02e08c9458c57ec4d176aa0124 Mon Sep 17 00:00:00 2001
From: Ian Jackson <iwj@mariner.uk.xensource.com>
Date: Thu, 29 May 2008 17:53:48 +0100
Subject: [PATCH] provide default gui refresh value

---
 console.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/console.h b/console.h
index 5ebb24b61..7bb1945be 100644
--- 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;
-- 
2.39.5