A recent development version of the Emacs mode no longer stops updating the buffer if it is edited. Furthermore the function agda2-exec-response for some reason now calls save-buffer. I have set up Emacs to delete trailing whitespace when Agda buffers are saved, and editing a buffer that is in the process of being type-checked, with interactive highlighting enabled, can thus be non-trivial.