[basex-talk] GUI feature request: paste into search boxes

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<http://www.linkedin.com/in/timathompson>