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) 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;