comparison tools/editor/scripts/gui/mapeditor.py @ 532:4da56756a617

Fixed a small bug that didn't allow to use xml files as gui input for the setting extension
author nihathrael@33b003aa-7bff-0310-803a-e67f0ece8222
date Sat, 29 May 2010 17:27:49 +0000
parents 70ba57cd9d18
children b2feacaed53c
comparison
equal deleted inserted replaced
531:801746c5bb9a 532:4da56756a617