[MOD] deactivated popup menu for resource dialog tree visualization dummy node
[ADD] flags to avoid superfluous loading/filtering of resources dialog tree
Merge branch 'master' of github.com:BaseXdb/basex
Merge branch 'master' of github.com:BaseXdb/basex
Merge branch 'master' of github.com:BaseXdb/basex
Merge branch 'master' of github.com:BaseXdb/basex
Merge branch 'master' of github.com:BaseXdb/basex
[MOD] All editor buttons moved to top row
[MOD] Change font size of search panels
[MIN] Layout fine tunings
[FIX] GUI: Activate search field if Ctrl-F is pressed
[FIX] GUI: layout fine tuning
[FIX] Commands, SHOW BACKUPS: only show ZIP backups with timestamps
[FIX] XQuery, Commands: use forward slashes in ZIP archives. Closes #724
[MIN] cleanups
[MIN] Fixed logging output
[MIN] GUI: font size of search bar; comments updated
[FIX] #721: Wrong internal renumbering of ft:mark results
Merge branch 'master' of github.com:BaseXdb/basex
[FIX] XQuery: duplicate insertion of attributes with xml prefix
[FIX] XQuery, format-number: handle negative values with prefixes
[FIX] XQuery, format-number: chop fractional part