From 00cb5aecd4c299d2135ab2e1ffc1b8b56a93d9df Mon Sep 17 00:00:00 2001 From: Aljaz Grilc Date: Tue, 25 Feb 2025 09:35:34 +0100 Subject: [PATCH] Hide popup and remove highlighted rects after input --- service.js | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/service.js b/service.js index 8998a5b..a3fa1f3 100644 --- a/service.js +++ b/service.js @@ -1024,7 +1024,8 @@ class BesDOMService extends BesTreeService { onInput() { // Now that the text is done changing, we can correctly calculate markup position. this.repositionAllMarkup() - + BesPopup.hide() + this.highlightedRects.forEach(h => h.remove()) // Defer grammar-checking to reduce stress on grammar-checking server. this.scheduleProofing(1000) } @@ -1728,7 +1729,8 @@ class BesDOMPlainTextService extends BesPlainTextService { // Now that the text is done changing, we can correctly calculate markup position. this.repositionAllMarkup() - + BesPopup.hide() + this.highlightedRects.forEach(h => h.remove()) // Defer grammar-checking to reduce stress on grammar-checking server. this.scheduleProofing(1000) }