ui/gtk/headerbar.c

changeset 854
9291921f21c5
parent 839
f1b5e7dd27b9
child 867
83bb0dd7123f
equal deleted inserted replaced
853:380ec881faa2 854:9291921f21c5

mercurial