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