Function
delayedEditorFocus
(editor: editor.ICodeEditor | null | undefined, delayMs: number = 100)
Source from the content-addressed store, hash-verified
| 363 | return editorsRef.current.find((e) => e.script.uuid === uuid); |
| 364 | }; |
| 365 | const delayedEditorFocus = (editor: editor.ICodeEditor | null | undefined, delayMs: number = 100) => { |
| 366 | editor = !editor ? editorsRef.current.find((e) => e.active && e.script.uuid === selectedScript)?.editor : editor; |
| 367 | if (editor) { |
| 368 | setTimeout(editor.focus.bind(editor), delayMs); |
| 369 | } |
| 370 | }; |
| 371 | const getSelectedText = (editor: editor.ICodeEditor) => { |
| 372 | const model = editor.getModel(); |
| 373 | if (!model) return ""; |
Tested by
no test coverage detected