Code Editor : source_update-manager.py