ui/gtk/headerbar.c

changeset 774
4531a342c5b3
parent 681
aa1b280b5e4d
child 789
d70799b3333e
equal deleted inserted replaced
773:239d29f31cf8 774:4531a342c5b3

mercurial