editors/ResourceEditor.py
changeset 1287 70dc98533ec6
parent 1275 8d4de18c9f29
child 1420 71b1545d746f