Ide editor improvements

These are a number of improvements to the UX of the editor in the IDE