ui: add matchMedia().addEventListener polyfill

This commit is contained in:
undefined committed 2022-05-22 02:02:48 +08:00
1 parent 53bde9c966
commit 87a72f35c1
8 files changed
+80 -15

No files matched your search

@@ -265,6 +265,8 @@ export default class Editor extends DOMAttachedObject {
focus() {
this.ensureValid();
this.vditor?.focus();
if (!this.editor || !this.model) return;
this.editor.focus();
const range = this.model.getFullModelRange();
this.editor.setPosition({ lineNumber: range.endLineNumber, column: range.endColumn });