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