From 94651731a50936076a33fb8d44bc1c05e50b3c0d Mon Sep 17 00:00:00 2001 From: Felix Roos Date: Mon, 12 Dec 2022 00:23:03 +0100 Subject: [PATCH] hotfix: uncomment essential line :) --- packages/mini/mini.mjs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/mini/mini.mjs b/packages/mini/mini.mjs index 18c38c93..fc6cf7d3 100644 --- a/packages/mini/mini.mjs +++ b/packages/mini/mini.mjs @@ -144,7 +144,7 @@ export function patternifyAST(ast) { const value = !isNaN(Number(ast.source_)) ? Number(ast.source_) : ast.source_; // make sure whitespaces are not part of the highlight const len = ast.source_.length; - // end.column = start.column + len; + end.column = start.column + len; end.offset = start.offset + len; end.line = start.line; // codemirror does not understand multiline highlights // the following line expects the shapeshifter append .withMiniLocation