ui/gtk/headerbar.c

changeset 701
6fdec085c385
parent 681
aa1b280b5e4d
child 789
d70799b3333e
equal deleted inserted replaced
700:7032f69a325c 701:6fdec085c385

mercurial