Code Editor : maintenance