ui/gtk/headerbar.c

changeset 750
7b627710c155
parent 681
aa1b280b5e4d
child 789
d70799b3333e
equal deleted inserted replaced
749:0f052f6f532c 750:7b627710c155

mercurial