comparison configure @ 33024:21e0de9c355f

Show GUI message when GUI must exit. Besides, change exit() to exit_player().
author ib
date Fri, 25 Mar 2011 11:28:25 +0000
parents 6ee39df47be0
children 36d0701bb4c8
comparison
equal deleted inserted replaced
33023:ba432e34dc7e 33024:21e0de9c355f