Makes toggling a comment somewhat challenging. :)
Yes, time to dig out that editor key cheat sheet...
<home> <shift+end> <ctl+k>
On Wed, 3 Aug 2022 at 12:48, Graydon Saunders graydonish@gmail.com wrote:
I'm seeing the same thing on Linux -- Fedora 36 -- with a trackball.
07:45 graydon % java -version openjdk version "17.0.4" 2022-07-19 OpenJDK Runtime Environment (Red_Hat-17.0.4.0.8-1.fc36) (build 17.0.4+8) OpenJDK 64-Bit Server VM (Red_Hat-17.0.4.0.8-1.fc36) (build 17.0.4+8, mixed mode, sharing)
I can select individual words by double-clicking them, but no click-and-drag selection. Makes toggling a comment somewhat challenging. :)
-- Graydon
On Wed, Aug 3, 2022 at 7:07 AM Andy Bunce bunce.andy@gmail.com wrote:
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" IMPLEMENTOR_VERSION="Temurin-11.0.15+10" JAVA_VERSION="11.0.15" JAVA_VERSION_DATE="2022-04-19"
On Tue, 2 Aug 2022 at 08:14, Marco Lettere m.lettere@gmail.com wrote:
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:
BaseX 10 assists you with your everyday data challenges with some great new features:
STORAGE
• Beside XML Documents and Binary Data, you can use the new »XQuery Values« resource type to store arbitrary items and sequences in databases. • General data (registered users, scheduled services, and key-value stores) can now be backed up as well. • Mixed-content developers will be delighted: Whitespaces are now preserved by default.
XQUERY
• Database locking has been improved by splitting up XQuery compilation into a static and dynamic step. • A new Store Module allows you to organize values in a persistent main-memory key-value store. • You can store and retrieve XQuery values with db:put-value and
db:get-value.
• When serializing XML, indentation is now turned off by default.
GENERAL
• BaseX 10 requires Java 11 to run. • The GUI comes with improved HiDPI support, new icons and improved
consistency.
• All HTTP requests are now based on the new Java HTTP client. • Catalog support is now universal and based on either the new XML Catalog API or Norman Walsh’s excellent XML Resolver. • The default ports for web applications were changed from 8984/8985 to 8080/8081. • The default admin password was removed to improve security. • Results of the REST API are now wrapped in the default REST
namespace.
We have taken the version jump as an opportunity to rename various existing functions and commands. The database storage has not changed: Databases created with BaseX 10 are backward compatible and can still be opened with BaseX 9.
Visit our documentation for more details, and information on how to upgrade your existing applications:
https://docs.basex.org/wiki/BaseX_10
Have fun! Your BaseX Team
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...
<home> <shift+end> <ctl+k>
Step zero would have been realizing there's that much keyboard support.
Thank you!
If you just want to comment the entire line, cmd+k at the start will comment the whole line. No need to select it first.
Cheers,
E.
_____________________________________________ Eliot Kimber Sr Staff Content Engineer O: 512 554 9368 M: 512 554 9368 servicenow.comhttps://www.servicenow.com LinkedInhttps://www.linkedin.com/company/servicenow | Twitterhttps://twitter.com/servicenow | YouTubehttps://www.youtube.com/user/servicenowinc | Facebookhttps://www.facebook.com/servicenow
From: BaseX-Talk basex-talk-bounces@mailman.uni-konstanz.de on behalf of Graydon graydonish@gmail.com Date: Wednesday, August 3, 2022 at 9:22 AM To: Andy Bunce bunce.andy@gmail.com Cc: BaseX basex-talk@mailman.uni-konstanz.de 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 cheat sheet...
<home> <shift+end> <ctl+k>
Step zero would have been realizing there's that much keyboard support.
Thank you!
-- Graydon Saunders | graydonish@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 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
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!
basex-talk@mailman.uni-konstanz.de
-
Andy Bunce -
Christian Grün -
Eliot Kimber -
Graydon