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