Re: [basex-talk] Issues with X11 display