ui/gtk/headerbar.h

changeset 862
670b2c03413f
parent 789
d70799b3333e
child 988
bb7718f7d31d
equal deleted inserted replaced
861:34b07b18b3e1 862:670b2c03413f

mercurial