Open krassowski opened 3 weeks ago
These lines would need to be modified for (b):
These lines would need to be modified for (a):
Some research is needed on (a) - what other other IDEs do? Do they use """
syntax for block comment, or do they fall back to multiple #
?
Hi I would like to work on this issue.
Please do!
Problem
"""
is de facto standard substitute as blessed by BDFLProposed Solution
Either or both:
pythonLanguage.data.of({commentTokens: ...})
to add"""
as block comment for Python - this only helps for PythontoggleBlockComment
with a composite command which tries to runtoggleBlockComment
first andtoggleComment
second if the former did not succeed (or check if language data havecommentTokens.block
defined)Additional context
See discussion in upstream issue https://github.com/codemirror/dev/issues/1372 - upstream will not include that command nor the
"""
syntax for Python so it is up to JupyterLab to implement it.