reload_editor() added in manager.py