update options

3 years ago · a8f4116ccc
parent 24a80c27b1
commit a8f4116ccc
1 changed files with 1 additions and 1 deletions
--- a/libs/remix-ui/editor/src/lib/remix-ui-editor.tsx
+++ b/libs/remix-ui/editor/src/lib/remix-ui-editor.tsx
@ -438,7 +438,7 @@ export const EditorUI = (props: EditorUIProps) => {
        language={editorModelsState[props.currentFile] ? editorModelsState[props.currentFile].language : 'text'}
        onMount={handleEditorDidMount}
        beforeMount={handleEditorWillMount}
-        options={{ glyphMargin: true, readOnly: true, domReadOnly: true }}
+        options={{ glyphMargin: true, readOnly: true}}
        defaultValue={defaultEditorValue}
      />
      <div className="contextview">