Quick comment: you can still type open parenthesis at the *end* of the
selection, and Codemirror will correctly put parenthesis around the
selection. I.e., almost exactly what you want already exists as long as
you type "(" right where you were thinking of typing ")".
On Sunday, September 6, 2020 at 2:17:09 AM UTC-7 Daniel Volinski wrote:
> Does that feature exist in CodeMirror?
>
> Daniel
>
>
> On Monday, March 19, 2018 at 1:09:35 PM UTC+2 takowl wrote:
>
>> The JS text editor component we use is called CodeMirror. If CodeMirror
>> already has an option to do what you want, we can probably find a way to
>> enable it. Otherwise, you'd need to convince CodeMirror to add the feature
>> first.
>>
>> On 18 March 2018 at 08:23, 'Daniel Volinski' via Project Jupyter <
>> [email protected]> wrote:
>>
>>> Hi All,
>>>
>>> I'm using SageMath 8.1 on Windows 10 Native with Jupyter Notebook.
>>>
>>> When I select text on a code cell and punch on any key on the keyboard,
>>> the selected text is erased and that key is issued instead. Except for the
>>> opening parenthesis, in its case, the selected text is enclosed by an
>>> opening parenthesis at its left and a closing parenthesis at its right.
>>> That is awesome. It saves me from going to other side of the text and add
>>> the closing parenthesis by myself.
>>>
>>> Why not doing the same for the closing parenthesis? Right now, punching
>>> the closing parenthesis erases the selected text like any other key. I
>>> would like the closing parenthesis to be treated with the same respect as
>>> the opening parenthesis, that is, when I select text, (usually from left to
>>> right) my cursor is already at the right of the selected text. I want to
>>> punch the closing parenthesis and I want SageMath to add the opening
>>> parenthesis at the beginning of the selected text, saving me time once
>>> again.
>>>
>>> This should be equally valid for rectangular and curly parenthesis.
>>>
>>> Daniel
>>>
>>>
>>> --
>>> You received this message because you are subscribed to the Google
>>> Groups "Project Jupyter" group.
>>>
>> To unsubscribe from this group and stop receiving emails from it, send an
>>> email to [email protected].
>>
>>
>>> To post to this group, send email to [email protected].
>>> To view this discussion on the web visit
>>> https://groups.google.com/d/msgid/jupyter/ef3e9051-36a6-4829-999c-eabd127d36ce%40googlegroups.com
>>>
>>> <https://groups.google.com/d/msgid/jupyter/ef3e9051-36a6-4829-999c-eabd127d36ce%40googlegroups.com?utm_medium=email&utm_source=footer>
>>> .
>>> For more options, visit https://groups.google.com/d/optout.
>>>
>>
--
You received this message because you are subscribed to the Google Groups
"Project Jupyter" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/jupyter/0e820bb3-95c8-43c4-9d7e-0463aa4faa61n%40googlegroups.com.
