ui/gtk/headerbar.h

changeset 933
70e14fa98ab4
parent 789
d70799b3333e
child 988
bb7718f7d31d
equal deleted inserted replaced
932:28fc967f74ef 933:70e14fa98ab4

mercurial