window.h
changeset 1570 c470380facb9
parent 1474 d83520edcda6
child 1648 747061dca705
--- a/window.h	Sat Mar 26 04:02:50 2005 +0000
+++ b/window.h	Sat Mar 26 04:16:39 2005 +0000
@@ -566,7 +566,7 @@
 void UnInitWindowSystem(void);
 void ResetWindowSystem(void);
 int GetMenuItemIndex(Window *w, int x, int y);
-void MouseLoop(void);
+void InputLoop(void);
 void UpdateWindows(void);
 void InvalidateWidget(Window *w, byte widget_index);