ui/gtk/headerbar.h

changeset 686
1e2f3a44d455
parent 336
56c12f44c2d3
child 789
d70799b3333e
equal deleted inserted replaced
685:36e08a9aff8e 686:1e2f3a44d455

mercurial