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