3 Aug
2022
3 Aug
'22
7:20 a.m.
One minor issue I have is: in the GUI editor Mouse-down+ drag is not selecting text. This is on Win10 with a trackpad and Java version as below.
Thanks, Andy; confirmed. The click behavior was revised, as a double click followed by an immediate drag led to incomplete selections of words [1]. We’ll look info that.
[1] https://github.com/BaseXdb/basex/commit/a8ab841133c3134ee55100f4e99b5a38bde7...