--- a/window.h	Wed Nov 15 18:57:00 2006 +0000
+++ b/window.h	Wed Nov 15 19:35:52 2006 +0000
@@ -801,6 +801,7 @@
 void ResetWindowSystem(void);
 int GetMenuItemIndex(const Window *w, int x, int y);
 void InputLoop(void);
+void HandleKeypress(uint32 key);
 void UpdateWindows(void);
 void InvalidateWidget(const Window *w, byte widget_index);
 void InvalidateThisWindowData(Window *w);