found another bug in editor.py