From f3e85eedc434da973267f360abdbb79cb6f24100 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Thu, 1 Jul 2021 21:13:01 +0200
Subject: Timing is everything

---
 libs/libgui/gui.h | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'libs/libgui/gui.h')

diff --git a/libs/libgui/gui.h b/libs/libgui/gui.h
index 0a4427b..10d44d8 100644
--- a/libs/libgui/gui.h
+++ b/libs/libgui/gui.h
@@ -6,6 +6,7 @@
 #include <def.h>
 #include <errno.h>
 #include <libgui/gfx.h>
+#include <sys.h>
 #include <vec.h>
 
 enum gui_listener {
@@ -87,5 +88,6 @@ void gui_widget_margin(u32 win_id, u32 widget_id, vec2 margin);
 void gui_widget_layout(u32 win_id, u32 widget_id, enum gui_layout layout);
 
 void gui_loop(void);
+void gui_time_loop(u32 time, void (*callback)(struct timer *time));
 
 #endif
-- 
cgit v1.2.3