ui/gtk/headerbar.h

changeset 1038
832e9288f8e2
parent 1012
f2b535f6e597
equal deleted inserted replaced
1037:fbe4bb4eba8c 1038:832e9288f8e2

mercurial