ui/gtk/headerbar.h

changeset 927
b8c0f718b141
parent 789
d70799b3333e
child 988
bb7718f7d31d
equal deleted inserted replaced
926:32b16cbca280 927:b8c0f718b141

mercurial