Re: [basex-talk] GUI no longer pretty-printing?