Create apply button in settings
Fix application of settings in editor
Make the default font Courier New
Fix infinite looup in highlighter
Fix printing of utf-8 strings