comparison: ui/gtk/headerbar.h
ui/gtk/headerbar.h
- changeset 516
- 4b31c74666d7
- parent 336
- 56c12f44c2d3
- child 789
- d70799b3333e
equal
deleted
inserted
replaced
| 515:9e18cb8c4412 | 516:4b31c74666d7 |
|---|
| 515:9e18cb8c4412 | 516:4b31c74666d7 |
|---|