comparison: ui/gtk/headerbar.c
ui/gtk/headerbar.c
- changeset 894
- 5e53ef72a5d3
- parent 867
- 83bb0dd7123f
- child 966
- e411ed7c5f10
equal
deleted
inserted
replaced
| 893:32b334db5f8b | 894:5e53ef72a5d3 |
|---|
| 893:32b334db5f8b | 894:5e53ef72a5d3 |
|---|