[FIX] GUI, Editor: display file filter
Merge branch 'next' of github.com:BaseXdb/basex into next