Code Editor : API.t