Ergonomy improvements in the JSON editor (#189)

Closes #189 (closed)

It also include corrections:

• 'null', 'true' are highlighted in blue;
• digit value highlight correction for values without comma, for values with 'e';
• arrow from time to time disappears;
• 'search' functionality implementation