ui/gtk/headerbar.c

changeset 1035
86d3a45dc928
parent 973
aa39a986da78
equal deleted inserted replaced
1034:330b415910bd 1035:86d3a45dc928

mercurial