comparison: ui/gtk/menu.c
ui/gtk/menu.c
- changeset 434
- 9a68f8cbeffa
- parent 400
- a1946c97de09
- child 435
- 883a569cc9a3
equal
deleted
inserted
replaced
| 433:605bb5dc34f1 | 434:9a68f8cbeffa |
|---|
| 433:605bb5dc34f1 | 434:9a68f8cbeffa |
|---|