ui/gtk/headerbar.h

changeset 786
150a1180f7ec
parent 336
56c12f44c2d3
child 789
d70799b3333e
equal deleted inserted replaced
785:b943e3d618f0 786:150a1180f7ec

mercurial