From c94d9dca94dab3f4e0b720bd23f526604f0e097e Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Tue, 24 Sep 2019 13:43:05 +0300
Subject: [PATCH] use precise getTokenAt

---
 edit/applies-to-line-widget.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/edit/applies-to-line-widget.js b/edit/applies-to-line-widget.js
index f2602a93..02a22b59 100644
--- a/edit/applies-to-line-widget.js
+++ b/edit/applies-to-line-widget.js
@@ -494,7 +494,7 @@ function createAppliesToLineWidget(cm) {
     const eatToken = sticky => {
       if (!sticky) skipSpace(pos, posEnd);
       pos.ch++;
-      const token = cm.getTokenAt(pos);
+      const token = cm.getTokenAt(pos, true);
       pos.ch = token.end;
       return CodeMirror.cmpPos(pos, posEnd) <= 0 ? token : {};
     };