Editing with a real text editor