Thanks, Andy, good point. I’m on macOS (M2 chip), and I’ve run into other keyboard issues. Cmd-V is the usual paste combination, which works in the editor pane, but I’ve just realized that Ctrl-V works to paste in the search boxes :)

Apologies for the noise!

Tim

-- 
Tim A. Thompson (he, him)
Librarian for Applied Metadata Research
Yale University Library
www.linkedin.com/in/timathompson

From: Andy Bunce <bunce.andy@gmail.com>
Date: Wednesday, January 17, 2024 at 12:54 PM
To: Thompson, Timothy <timothy.thompson@yale.edu>
Cc: BaseX <basex-talk@mailman.uni-konstanz.de>
Subject: Re: [basex-talk] GUI feature request: paste into search boxes

Hi Tim,

You don't say what OS or version but on Windows it is true the search boxes have no right click context menu, but they do support Ctl-V.

/Andy

On Wed, 17 Jan 2024 at 17:03, Thompson, Timothy <timothy.thompson@yale.edu> wrote:

Hello,

In the BaseX GUI, it’s not possible (as far as I can tell) to paste a copied value into search boxes. Not being able to do so can be inconvenient, for example, when searching for a string like a UUID in result output, etc.

Is lack of support for pasting intentional, or am I missing something?

Thanks in advance,

Tim

-- 
Tim A. Thompson (he, him)
Librarian for Applied Metadata Research
Yale University Library
www.linkedin.com/in/timathompson