ui/gtk/headerbar.h

changeset 657
02bcdbc34f31
parent 336
56c12f44c2d3
child 789
d70799b3333e
equal deleted inserted replaced
656:2f18119d176a 657:02bcdbc34f31

mercurial