Ide editor improvements improvements

Improvements to the commit history of the ide-edior-improvements branch. This branch replaces that one.