toolkit: comparison ui/gtk/menu.h

comparison: ui/gtk/menu.h

ui/gtk/menu.h

changeset 708: 0598e70c6489
parent 553: 90e38db0c755
child 849: 63623ef950e5

equal deleted inserted replaced

707:e9f63774b0e0	708:0598e70c6489