toolkit: comparison ui/gtk/headerbar.h

comparison: ui/gtk/headerbar.h

ui/gtk/headerbar.h

changeset 755: 9f62ec2c0cf0
parent 336: 56c12f44c2d3
child 789: d70799b3333e

equal deleted inserted replaced

754:fb5f560e81d9	755:9f62ec2c0cf0