src/gui.h
changeset 10429 1b99254f9607
parent 10411 efe3b7a2746f
child 10435 0e2b98df9707
equal deleted inserted replaced
10428:eecb81857b5a 10429:1b99254f9607
     1 /* $Id$ */
     1 /* $Id$ */
     2 
     2 
     3 /** @file gui.h */
     3 /** @file gui.h GUI functions that shouldn't be here. */
     4 
     4 
     5 #ifndef GUI_H
     5 #ifndef GUI_H
     6 #define GUI_H
     6 #define GUI_H
     7 
     7 
     8 #include "window_type.h"
     8 #include "window_type.h"