ui/gtk/headerbar.c

changeset 1144
6e9da0736c33
parent 1112
9250601f9d9a
equal deleted inserted replaced
1143:218ada0d4017 1144:6e9da0736c33

mercurial