Code Editor : patch

//