00001 /* $Id: console_gui.h 13228 2008-05-24 10:15:06Z rubidium $ */ 00002 00005 #ifndef CONSOLE_GUI_H 00006 #define CONSOLE_GUI_H 00007 00008 #include "window_type.h" 00009 00010 void IConsoleResize(Window *w); 00011 void IConsoleSwitch(); 00012 00013 #endif /* CONSOLE_GUI_H */