From dd18ba28b6e6664f13f8d1083d3defc961d2ebb2 Mon Sep 17 00:00:00 2001 From: YannC <37600690+Skraye@users.noreply.github.com> Date: Tue, 28 Mar 2023 11:02:14 +0200 Subject: [PATCH] fix(ui): timeout for cursor event in editor to avoid blinking (#1110) --- ui/src/components/inputs/Editor.vue | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/ui/src/components/inputs/Editor.vue b/ui/src/components/inputs/Editor.vue index 60a6738ce68..8b9ffbbdfa9 100644 --- a/ui/src/components/inputs/Editor.vue +++ b/ui/src/components/inputs/Editor.vue @@ -102,7 +102,7 @@ oldDecorations: [], editorDocumentation: undefined, plugin: undefined, - taskType: undefined + taskType: undefined, }; }, computed: { @@ -317,7 +317,10 @@ this.editor.onDidChangeCursorPosition(e => { let position = this.editor.getPosition(); let model = this.editor.getModel(); - this.$emit("cursor",{position: position, model: model}) + clearTimeout(this.lastTimeout); + this.lastTimeout = setTimeout(() => { + this.$emit("cursor",{position: position, model: model}) + }, 100); }); }, autoFold(autoFold) {