ui/gtk/headerbar.c

changeset 900
6e1485d5451a
parent 867
83bb0dd7123f
child 966
e411ed7c5f10
equal deleted inserted replaced
899:7e153ce81477 900:6e1485d5451a

mercurial