Add settings popover for the editor
Fix #23: Add background re-indenting of code