Re: [basex-talk] Minor GUI irritation