[Python] Auto-pair triple quotes

[Mr7F]

Expected behavior

It would be nice to auto-pair the triple quotes in python, like zed does

Something like this seems to work for "
(we should do the same for ')

Edit: there’s a better behavior than the poc bellow, see discussion

  {
    "keys": [
      "\""
    ],
    "command": "insert_snippet",
    "args": {
      "contents": "\"$0\"\"\""
    },
    "context": [
      {
        "key": "setting.auto_match_enabled"
      },
      {
        "key": "selector",
        "operand": "source.python"
      },
      {
        "key": "selection_empty",
        "match_all": true
      },
      {
        "key": "preceding_text",
        "operator": "regex_contains",
        "operand": "\"\"$",
        "match_all": true
      },
      {
        "key": "following_text",
        "operator": "not_regex_contains",
        "operand": "^\"",
        "match_all": true
      }
    ]
  },
  {
    "keys": [
      "\""
    ],
    "command": "move",
    "args": {
      "by": "characters",
      "forward": true
    },
    "context": [
      {
        "key": "setting.auto_match_enabled"
      },
      {
        "key": "selector",
        "operand": "source.python"
      },
      {
        "key": "selection_empty",
        "match_all": true
      },
      {
        "key": "following_text",
        "operator": "regex_contains",
        "operand": "^\"",
        "match_all": true
      },
      {
        "key": "selector",
        "operator": "not_equal",
        "operand": "punctuation.definition.string.begin",
        "match_all": true
      },
      {
        "key": "eol_selector",
        "operator": "not_equal",
        "operand": "string.quoted.double - punctuation.definition.string.end",
        "match_all": true
      }
    ]
  },

Actual behavior

"| + " -> ""
""| + " -> """
""" + " -> """|"""
"""|""" + """ -> """"""|
[aaa] + " -> "[aaa]"
"[aaa]" + "" -> """[aaa]"""

Steps to reproduce

[deathaxe]

This behavior would need to apply to all languages, which support block strings.

Some of them are Java and TOML.

C# also support them, but is more tricky to handle as there can be arbitrary amount of quotes.

[michaelblyons]

I think if we do this, I'd rather ""+" becomes """|""", no? And drop the """+" -> """|""".

Then as you type increasing numbers of quotes, it goes like this:

1. "|"
2. ""|
3. """|"""
4. Unsure what should happen here, whether
   • """"|"" mechanically skip next double quote, or
   • """"""| skip all double quotes, or
   • """"|""" actually type another double quote.¹
     This could be the start of a quoted section like

     """"Michael" is my name."""

   Either way, this is where to diverge for C# and other languages with variable-length delimiters, which would want """"|"""".²

Footnotes

1. Edited to add after post by Mr7F below. ↩

2. But remember that """| """ and """ |""" do not necessarily want quote pairing. I don't think we do that in string content currently. Maybe we should? ↩

[Mr7F]

@michaelblyons indeed, your behavior is better, I vote for ""+" -> """|"""

4. """"""| Might be better, I dont see a usecase where we would want to edit between the triple quotes