ui/gtk/headerbar.h

changeset 874
33618ae398bd
parent 789
d70799b3333e
child 988
bb7718f7d31d
equal deleted inserted replaced
873:78853bfc47cf 874:33618ae398bd

mercurial