More work on sprucing up the editor.