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