ui/gtk/headerbar.c

changeset 760
396caea0234a
parent 681
aa1b280b5e4d
child 789
d70799b3333e
equal deleted inserted replaced
759:5e17960fedc8 760:396caea0234a

mercurial