editor improvements (hopefully)