toolkit: comparison ui/gtk/menu.c

comparison: ui/gtk/menu.c

ui/gtk/menu.c

branch: newapi
changeset 231: e160bb392148
parent 175: 2cb06c231057
child 253: 087cc9216f28

equal deleted inserted replaced

230:4f5b32a2a60f	231:e160bb392148