a few editor improvements.