Comment 2 for bug 1233715

Liked this editor also, but programming is greatly inconvenienced by lack of save as feature. I will probably have to replace it until the bug is fixed.