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
