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/4767e906-9dd7-4944-a78b-5aa0c864613dn%40googlegroups.com.
