Skip to content

Commit

Permalink
Fix character literal syntax highlighting which would break primed id…
Browse files Browse the repository at this point in the history
…entifiers

Bump version to 1.4.0-beta.11
  • Loading branch information
MarkusEllyton committed Sep 15, 2024
1 parent 59e0640 commit ed14f39
Show file tree
Hide file tree
Showing 3 changed files with 4 additions and 15 deletions.
3 changes: 3 additions & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -1,3 +1,6 @@
### 1.4.0-beta.11
- Fix incorrect highlighting of character literals by reverting changes to syntax highlighting.

### 1.4.0-beta.10
- QuickCheck panel UI improvements
- Static position at bottom of PO view.
Expand Down
2 changes: 1 addition & 1 deletion package.json
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"name": "vdm-vscode",
"version": "1.4.0-beta.10",
"version": "1.4.0-beta.11",
"publisher": "overturetool",
"engines": {
"vscode": "^1.64.0",
Expand Down
14 changes: 0 additions & 14 deletions syntaxes/vdm.type.tmLanguage.json
Original file line number Diff line number Diff line change
Expand Up @@ -19,9 +19,6 @@
},
{
"include": "#strings"
},
{
"include": "#charliterals"
}
],
"repository": {
Expand Down Expand Up @@ -56,17 +53,6 @@
}
]
},
"charliterals": {
"name": "string.quoted.single.vdm",
"begin": "'",
"end": "'",
"patterns": [
{
"name": "constant.character.escape.vdm",
"match": "\\\\."
}
]
},
"seq-of": {
"match": "(seq of) (\\S+)",
"captures": {
Expand Down

0 comments on commit ed14f39

Please sign in to comment.