comparison: ui/gtk/headerbar.h
ui/gtk/headerbar.h
- changeset 877
- aff9ad6a54a1
- parent 789
- d70799b3333e
- child 988
- bb7718f7d31d
equal
deleted
inserted
replaced
| 876:2131c806440d | 877:aff9ad6a54a1 |
|---|
| 876:2131c806440d | 877:aff9ad6a54a1 |
|---|