fix(ui/code-editor): disable multi select [EE-5383] (#8862)

pull/8925/head
Chaim Lev-Ari 2023-05-09 07:59:31 +07:00 committed by GitHub
parent 361f782e7c
commit fc81002938
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 0 deletions

View File

@ -65,6 +65,9 @@ export function CodeEditor({
id={id} id={id}
extensions={extensions} extensions={extensions}
height={height} height={height}
basicSetup={{
highlightSelectionMatches: false,
}}
/> />
</> </>
); );