ui/gtk/window.c

changeset 858
52d05b12ea87
parent 823
1e1df80772ed
child 866
4bed9458d355
equal deleted inserted replaced
857:1d9dd72fec15 858:52d05b12ea87

mercurial