making the editor much more pleasant: better indentation, no more randomly deleted lines, allowing deletion of blank lines