ui/gtk/headerbar.h

changeset 435
883a569cc9a3
parent 336
56c12f44c2d3
equal deleted inserted replaced
434:9a68f8cbeffa 435:883a569cc9a3

mercurial