comparison: ui/gtk/headerbar.h
ui/gtk/headerbar.h
- changeset 1011
- 18fbc36e1e70
- parent 1009
- 3cbb6e72aaed
- child 1012
- f2b535f6e597
equal
deleted
inserted
replaced
| 1010:d18bde6cbf8f | 1011:18fbc36e1e70 |
|---|
| 1010:d18bde6cbf8f | 1011:18fbc36e1e70 |
|---|