Re: [basex-talk] BasexGUI (minor) issue