comparison: ui/gtk/menu.c
ui/gtk/menu.c
- changeset 439
- bf7084544cb1
- parent 435
- 883a569cc9a3
- child 440
- 7c4b9cba09ca
equal
deleted
inserted
replaced
| 438:7b1d715e5c11 | 439:bf7084544cb1 |
|---|
| 438:7b1d715e5c11 | 439:bf7084544cb1 |
|---|