On Wed, Aug 03, 2022 at 05:33:32PM +0200, Christian Grün scripsit:
> Selection has been fixed [1].
I can confirm the fix works for me.
Thank you!
--
Graydon Saunders | graydon...@gmail.com
Þæs oferéode, ðisses swá mæg.
-- Deor ("That passed, so may this.")
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
2022 at 9:22 AM
To: Andy Bunce
Cc: BaseX
Subject: Re: [basex-talk] BaseX 10 • The Double-Digit Summer Edition
[External Email]
On Wed, Aug 03, 2022 at 03:19:47PM +0100, Andy Bunce scripsit:
> >Makes toggling a comment somewhat challenging. :)
> Yes, time to dig out that editor key chea
On Wed, Aug 03, 2022 at 03:19:47PM +0100, Andy Bunce scripsit:
> >Makes toggling a comment somewhat challenging. :)
> Yes, time to dig out that editor key cheat sheet...
>
>
Step zero would have been realizing there's that much keyboard support.
Thank you!
--
Graydon Saunders |
> 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].
Looks good to me.
I like the renamings and I look forward to taking a look at how the locking
changes play out
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.
/Andy
IMPLEMENTOR="Eclipse Adoptium"
THANKS!
M.
On 01/08/22 15:27, Christian Grün wrote:
Dear all,
It’s been around 15 years ago when the first Open-Source version of
BaseX was released. Thanks to the continuous support of all of you, we
are thrilled today to announce the first double-digit version of our
XML framework:
Hurrah for 10.0!
On Fedora 36; same error with 10.0, 9.7.3, and the 10.0 beta I had been
running prior to upgrading from 35 to Fedora 36 Saturday morning:
10:01 graydon % Exception in thread "main" java.lang.UnsatisfiedLinkError:
Can't load library:
Christian and company -
As always, thanks for your efforts and work on our behalf!
Congratulations on this significant milestone!
Best,
Bridger
On Mon, Aug 1, 2022 at 9:28 AM Christian Grün
wrote:
> Dear all,
>
> It’s been around 15 years ago when the first Open-Source version of
> BaseX was
9 matches
Mail list logo