Fixed GTK bug in closing window
commit2a5762c1df20de89b8fee00c152eaaeb62883b7e
authorNicolò Navarin <nickgentoo@gmail.com>
Thu, 24 Sep 2009 10:53:38 +0000 (24 12:53 +0200)
committerNicolò Navarin <nickgentoo@gmail.com>
Thu, 24 Sep 2009 10:53:38 +0000 (24 12:53 +0200)
tree370c82831ecfa642d6707c99ff3f04ca00792811
parent752d3e8f6b5cfacfe7571ac1d78ecbc7fd693eb5
Fixed GTK bug in closing window
src/TODO.txt
src/kill-main
src/race.adb
src/simulator-car-gui.adb
src/simulator-gui.adb
src/simulator-gui.ads
src/simulator-race-gui.adb
src/simulator-race-gui.ads
src/simulator-race.adb
src/simulator.cfg