src/console_gui.h
author smatz
Tue, 03 Jun 2008 11:39:15 +0000
changeset 9455 955a7bd9027f
parent 9336 6baad5b3033d
permissions -rw-r--r--
(svn r13373) -Fix (r10210): loading of very old savegames was broken
/* $Id$ */

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

#ifndef CONSOLE_GUI_H
#define CONSOLE_GUI_H

#include "window_type.h"

void IConsoleResize(Window *w);
void IConsoleSwitch();

#endif /* CONSOLE_GUI_H */