Code Editor : manipulation.d.ts