comparison demos/rio_de_hola/scripts/world.py @ 533:082e919cc348

Setting Extension: Added possibility to set a custom style for the options gui
author nihathrael@33b003aa-7bff-0310-803a-e67f0ece8222
date Sat, 29 May 2010 17:52:07 +0000
parents 3dff106b945b
children 1e69fd582c94
comparison
equal deleted inserted replaced
532:4da56756a617 533:082e919cc348