editor_manager.py pushed