fix underindented multiline strings

ionide · Jun 18, 2024 · 76e36a8 · 76e36a8
1 parent 2aff22f
commit 76e36a8
Show file tree

Hide file tree

Showing 5 changed files with 61,415 additions and 61,307 deletions.
diff --git a/grammar.js b/grammar.js
@@ -1565,7 +1565,7 @@ module.exports = grammar({
  string: ($) => choice($._string_literal, $.format_string),
 
  _verbatim_string_char: ($) =>
- choice($._simple_string_char, $._non_escape_char, "\\"),
+ choice($._simple_string_char, $._non_escape_char, "\\", /\"\"/),
  verbatim_string: ($) =>
  seq('@"', repeat($._verbatim_string_char), token.immediate('"')),
  bytearray: ($) => seq('"', repeat($._string_char), token.immediate('"B')),

diff --git a/src/grammar.json b/src/grammar.json