Code Editor : patch