Changeset 150:ebdb910257da
- Timestamp:
- 09/02/13 21:38:11 (7 years ago)
- Branch:
- default
- Phase:
- public
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
tools/area_editor.py
r135 r150 333 333 if len(sys.argv) == 2: 334 334 level = EditorLevel(sys.argv[1]) 335 level.load( )335 level.load(set()) 336 336 elif len(sys.argv) == 4: 337 337 level = EditorLevel(sys.argv[1], int(sys.argv[2]), int(sys.argv[3]))
Note:
See TracChangeset
for help on using the changeset viewer.