Re: [basex-talk] BaseX 10 • The Double-Digit Summer Edition

Selection has been fixed [1]. I just observed that some editors are clever enough to exclusively select words (or lines) after a user has performed a double (or triple) click. Could be something for BaseX 20.

...

Makes toggling a comment somewhat challenging. :)

Yes, time to dig out that editor key cheat sheet... <home> <shift+end> <ctl+k>

Or, to save 50 ms (‽) of time:

<ctrl+a> <ctl+k>

Btw, some minor shortcut combinations have changed with BaseX 10 [2]. If anyone is missing essential key combinations from other IDEs, just let me know!

[1] https://files.basex.org/releases/latest/ [2] https://docs.basex.org/wiki/Shortcuts