ui/gtk/headerbar.h

changeset 434
9a68f8cbeffa
parent 336
56c12f44c2d3
equal deleted inserted replaced
433:605bb5dc34f1 434:9a68f8cbeffa

mercurial