Hi Allan,
I made this change to the Python grammar:
• make doc-strings foldable, at least when first line of the string has """ + at least one character and no terminating """ — the last line needs to only contain """ Though empty lines in doc-strings might confuse the other folding patterns, but that was already the case.
It seems that empty lines in the doc-string are tripping up the doc- string fold itself.
Assume * are folding markers, then I get:
* """First line of doc string. second line * more... """"
It looks like we can combat that by putting an extra space as the "first" char of the blank line (at the appropriate indent level) ... so it's not a big deal.
Thanks for adding that into the language.
-steve