Indeed, different layouts, different expectations...
Capture d’écran 2019-11-04 à 21.48.02.png
Capture d’écran 2019-11-04 à 21.44.56.png

Le lun. 4 nov. 2019 à 21:14, Christoph Thiede <> a écrit :
Old thread, but still up to date. When would you ever expect the 9 key do add
brackets? I struggle with it every day.

What would be wrong with just removing this 9? Or at least introducing a new
preference for that (TextEditor>>#useDigitsToEncloseSelection)?

Sent from: