ui/gtk/headerbar.c

changeset 707
e9f63774b0e0
parent 681
aa1b280b5e4d
child 789
d70799b3333e
equal deleted inserted replaced
706:2bdf00814cb8 707:e9f63774b0e0

mercurial