rubidium@9336: /* $Id$ */ rubidium@9336: rubidium@9336: /** @file console_gui.h GUI related functions in the console. */ rubidium@9336: rubidium@9336: #ifndef CONSOLE_GUI_H rubidium@9336: #define CONSOLE_GUI_H rubidium@9336: rubidium@9336: #include "window_type.h" rubidium@9336: rubidium@9336: void IConsoleResize(Window *w); rubidium@9336: void IConsoleSwitch(); rubidium@9336: rubidium@9336: #endif /* CONSOLE_GUI_H */