minor editor improvements