modified:   pyedit.py