toolkit: comparison ui/gtk/menu.c

comparison: ui/gtk/menu.c

ui/gtk/menu.c

changeset 1137: db9c3838fd4d
parent 1108: 2c8ab8c17da7
child 1138: 999911de398b

equal deleted inserted replaced

1136:e6fc42b4248d	1137:db9c3838fd4d