ui/gtk/headerbar.h

changeset 637
6a2c744fe042
parent 336
56c12f44c2d3
child 789
d70799b3333e
equal deleted inserted replaced
636:4630ddf7a20c 637:6a2c744fe042

mercurial