[basex-talk] Export XML

Hello, I am new to BaseX and have a question regarding the Export XML feature. After doing a keyword search and filtering my results, I would like to export this filtered data into a new XML file. Selecting Export XML, it prompts me to save it to the same .xml file. However the results are not saved. Any help would be appreciated. Thanks. Marc