comparison: ui/gtk/menu.c
ui/gtk/menu.c
- changeset 1010
- d18bde6cbf8f
- parent 973
- aa39a986da78
- child 1016
- ccde46662db7
equal
deleted
inserted
replaced
| 1009:3cbb6e72aaed | 1010:d18bde6cbf8f |
|---|
| 1009:3cbb6e72aaed | 1010:d18bde6cbf8f |
|---|