JavaScript APIdgType AliasesICodeEditorOptionsOn this pageICodeEditorOptions ICodeEditorOptions: object Type declaration MemberTyperootHTMLDivElement Source src/widgets/types.ts:16