Editor: fix some details in text editor.
Editor: allow to zoom in/out in text editor (ctrl + mouse wheel).
Merge pull request #534 from Maxs1789/syntax_highlight

Syntax highlight