ui/gtk/window.c

changeset 805
3774965e4937
parent 804
ce992dbfbc39
child 823
1e1df80772ed
equal deleted inserted replaced
804:ce992dbfbc39 805:3774965e4937

mercurial