comparison: ui/gtk/menu.c
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" |
