0.8
- reset of console highligting when settings are changed
- new action for editor highlighting
from  IJ 122.883
Merge remote-tracking branch 'remotes/origin/0.8'