ui/gtk/window.c

changeset 768
dc8e64b87e60
parent 764
5ff4b9c0cf96
child 770
521ecd0a0e7b
equal deleted inserted replaced
767:e5bda948a55f 768:dc8e64b87e60

mercurial