ui/gtk/headerbar.h

changeset 591
637de2359995
parent 336
56c12f44c2d3
child 789
d70799b3333e
equal deleted inserted replaced
589:4d86050ad6ff 591:637de2359995

mercurial