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 */