ui/gtk/menu.c

changeset 801
e096c441e874
parent 798
504c45926386
child 836
5a8485ff7f54
equal deleted inserted replaced
800:814d374fb689 801:e096c441e874
31 #include <inttypes.h> 31 #include <inttypes.h>
32 #include <stdarg.h> 32 #include <stdarg.h>
33 33
34 #include "menu.h" 34 #include "menu.h"
35 #include "toolkit.h" 35 #include "toolkit.h"
36 #include "widget.h"
36 #include "../common/context.h" 37 #include "../common/context.h"
37 #include "../common/menu.h" 38 #include "../common/menu.h"
38 #include "../common/types.h" 39 #include "../common/types.h"
39 #include "../ui/properties.h" 40 #include "../ui/properties.h"
40 #include "../ui/window.h" 41 #include "../ui/window.h"

mercurial