1 /* $Id$ */

     2 

     3 /** @file console_gui.h GUI related functions in the console. */

     4 

     5 #ifndef CONSOLE_GUI_H

     6 #define CONSOLE_GUI_H

     7 

     8 #include "window_type.h"

     9 

    10 void IConsoleResize(Window *w);

    11 void IConsoleSwitch();

    12 

    13 #endif /* CONSOLE_GUI_H */