ui/gtk/headerbar.c

changeset 745
a4ee36ff7147
parent 681
aa1b280b5e4d
child 789
d70799b3333e
equal deleted inserted replaced
744:0528926422da 745:a4ee36ff7147

mercurial