Merge pull request #4256 from OfekShilon/FixTokenizerComments

Fix suggestion for #4253
This commit is contained in:
Henning Dieterichs 2023-12-14 13:03:24 +01:00 committed by GitHub
commit 72dcedbbd5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -312,8 +312,7 @@ export const language = <languages.IMonarchLanguage>{
// [[ attributes ]]. // [[ attributes ]].
[/\[\s*\[/, { token: 'annotation', next: '@annotation' }], [/\[\s*\[/, { token: 'annotation', next: '@annotation' }],
// delimiters and operators // delimiters and operators
[/[{}()\[\]]/, '@brackets'], [/[{}()<>\[\]]/, '@brackets'],
[/[<>](?!@symbols)/, '@brackets'],
[ [
/@symbols/, /@symbols/,
{ {