toolkit: comparison ui/gtk/headerbar.h

comparison: ui/gtk/headerbar.h

ui/gtk/headerbar.h

changeset 527: 7273a78e8e5b
parent 336: 56c12f44c2d3
child 789: d70799b3333e

equal deleted inserted replaced

526:f6a6b0b08641	527:7273a78e8e5b