toolkit: comparison ui/gtk/menu.c

comparison: ui/gtk/menu.c

ui/gtk/menu.c

changeset 841: 651cf2c59dd9
parent 836: 5a8485ff7f54
child 849: 63623ef950e5

equal deleted inserted replaced

840:f74250eda598	841:651cf2c59dd9