Fixes "this" highlight (#396)

Fixes #386 Before: ![image](https://github.com/dafny-lang/ide-vscode/assets/3601079/5e453ec3-8d26-4aa3-875d-9e72b4d2418c) Now: ![image](https://github.com/dafny-lang/ide-vscode/assets/3601079/c901ba05-97cb-4333-816e-bc6d989275f5)
dafny-lang · Jun 13, 2023 · d043f68 · d043f68
1 parent d476f0c
commit d043f68
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/src/test/highlight/regression-highlight.dfy b/src/test/highlight/regression-highlight.dfy
@@ -1,3 +1,8 @@
+// Issue #386
+method Test(thisNat: nat, dothis: nat) {
+          //^^^^            ^^^^ this should not be highlighted separatedly in blue
+}
+
 // Support for opaque keyword
 opaque function Test(): int { 1 }
 //^^^^ should be highlighted as a keyword

diff --git a/syntaxes/Dafny.tmLanguage b/syntaxes/Dafny.tmLanguage
@@ -481,7 +481,7 @@
 				</dict>
 				<dict>
 					<key>match</key>
-					<string>this</string>
+					<string>\bthis\b</string>
 					<key>name</key>
 					<string>storage.type.dafny</string>
 				</dict>