ui/gtk/headerbar.c

changeset 762
9452eccfc0f0
parent 681
aa1b280b5e4d
child 789
d70799b3333e
equal deleted inserted replaced
761:b963af4aac40 762:9452eccfc0f0

mercurial