toolkit: comparison ui/gtk/menu.c

comparison: ui/gtk/menu.c

ui/gtk/menu.c

branch: newapi
changeset 242: 4ff7361dce95
parent 175: 2cb06c231057
child 253: 087cc9216f28

equal deleted inserted replaced

241:c51dd0e9ecb7	242:4ff7361dce95