Re: undo in compilation mode

[Richard Stallman <rms@gnu.org>]

    >     By the way, I think undo support in compilation mode (for text
    >     output by 'compile' at least) is usually superfluous as well, and
    >     in fact even a little confusing
    >
    > If people want to play with trying to turn that off,
    > we could see what the results are like.

    In this case, it shouldn't be possible to accidently change the
    buffer.  It happens quite often that I inadvertently change a file
    name in the buffer (most of the time by pressing "f"), and using undo
    before pressing RET is necessary in such cases.

The buffer could be made read-only, and the filter could bind
inhibit-read-only to t in order to write in it.

Do people see cases where that would cause trouble?