ui/gtk/headerbar.c

changeset 615
55850ad7702c
parent 394
bedd499b640d
child 680
a4795b40e679
equal deleted inserted replaced
614:a6e70dead6bd 615:55850ad7702c

mercurial