[MIN] GUI, Editor tabs: drag'n'drop (tricky because of custom headers)
Merge branch 'next' of github.com:BaseXdb/basex into next