When text is selected and either (, [ or { is pressed wrap selection in (), [], {} instead of replacing it.

[pankgeorg]

This PR adds key bindings to codemirror in order to handle the press of (, [ or { more intuitively (citation needed).

When user has done a text selection and presses (, [ or {, the character replaces the text.

With this PR, the behaviour changes to wrap the selection in brackets.

Note that the cursor is moved after the text (selected-text)<HERE> vs for example VSCode that goes to (selected-text<HERE>).

Also remove the line that activates ''autoCloseBrackets" (because it doesn't!)

[yuhan0]

Hi, I looked into this a few days ago too, and found that uncommenting this line

Pluto.jl/frontend/editor.html

Line 31 in 031770d

<!-- <script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.1/addon/edit/closebrackets.min.js" defer></script> -->

was enough to enable the feature of wrapping selected text in brackets, along with auto closing brackets.

Unless there was a reason for reimplementing this feature, I think it's better to just use the native codemirror addon?

[pankgeorg]

The native codemirror addon does more things than what this implementation provides.

This just adds open/close brackets when you have a selection and click parenthesis. Does not open/close in all cases.