Code Editor : extensions