Fix some terms (#185376)

* Fix some terms

* Apply PR suggestion
This commit is contained in:
Raymond Zhao 2023-06-16 12:38:37 -07:00 committed by GitHub
parent 23b487b0a9
commit e4751e3538
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 6 additions and 6 deletions

View file

@ -314,7 +314,7 @@
},
{
"match": "(?!when|and|or\\b)\\b([\\w0-9'`^._]+)",
"comments": "Here we need the \\w modifier in order to check that the words isn't blacklisted",
"comments": "Here we need the \\w modifier in order to check that the words are allowed",
"captures": {
"1": {
"name": "entity.name.type.fsharp"
@ -677,7 +677,7 @@
},
{
"match": "(?!with|get|set\\b)\\b([\\w0-9'`^._]+)",
"comments": "Here we need the \\w modifier in order to check that the words isn't blacklisted",
"comments": "Here we need the \\w modifier in order to check that the words are allowed",
"captures": {
"1": {
"name": "entity.name.type.fsharp"
@ -1658,7 +1658,7 @@
},
{
"match": "([\\w0-9'`^._]+)",
"comments": "Here we need the \\w modifier in order to check that the words isn't blacklisted",
"comments": "Here we need the \\w modifier in order to check that the words are allowed",
"captures": {
"1": {
"name": "entity.name.type.fsharp"

View file

@ -102,7 +102,7 @@
"name": "punctuation.definition.arguments.begin.latex"
}
},
"comment": "this works OK with all kinds of crazy stuff as long as section is one line",
"comment": "this works OK with all kinds of stuff as long as the section is one line",
"contentName": "entity.name.section.latex",
"end": "\\}",
"endCaptures": {