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