From bc10eea8fc41f71598e65ff9951d157c427c793e Mon Sep 17 00:00:00 2001 From: Amin Yahyaabadi Date: Mon, 14 Jun 2021 23:30:40 -0500 Subject: [PATCH 1/2] chore: remove excess type-cast --- lib/providers-highlight.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/providers-highlight.js b/lib/providers-highlight.js index a1d1931..9c9892c 100644 --- a/lib/providers-highlight.js +++ b/lib/providers-highlight.js @@ -78,7 +78,7 @@ export default class ProvidersHighlight { } paint(textEditor: TextEditor, intentions: Array): () => void { const markers = [] - for (const intention of (intentions: Array)) { + for (const intention of intentions) { const matchedText = textEditor.getTextInBufferRange(intention.range) const marker = textEditor.markBufferRange(intention.range) const element = createElement(intention, matchedText.length) From d8b6d5e00bf9fa2138d2b27c97f56d24adb79b30 Mon Sep 17 00:00:00 2001 From: Amin Yahyaabadi Date: Mon, 14 Jun 2021 23:45:08 -0500 Subject: [PATCH 2/2] fix: allow selecting the underlying text --- styles/intentions.less | 1 + 1 file changed, 1 insertion(+) diff --git a/styles/intentions.less b/styles/intentions.less index 5f3236b..71261e6 100644 --- a/styles/intentions.less +++ b/styles/intentions.less @@ -25,6 +25,7 @@ // Inline highlight intention-inline { + pointer-events: none; // allow selecting the underlying text position: absolute; margin-top: 0.1em; text-decoration: underline;