[ADD] Added numbering of the text editor lines
Merge branch 'next' of https://github.com/dimitarp/basex into next
[FIX] GUI, Editor: line numbers (immediate rendering)