diff -r 32abdc483dc5 -r c9b6cf44ce53 window.h
--- 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);