Mark Triggs <[EMAIL PROTECTED]> writes: > Yep, this sounds like a good idea. We would still need to deal with the > case where the user goes ahead and closes the buffer anyway
I'd like something like A tla process is running in this buffer. Kill anyway? (y, n, k, ?) With the binding: y => just kill the buffer normally n => don't do anything k => kill both the buffer and the processes running in it ? => This help message. (and why not another key to open the log buffer) Note that usually, in Emacs, processes run in the buffer where they are printed (for example, a compilation process runs in *compilation*). In xtla, usually, a process runs in a buffer which is parsed to display the result in another buffer. So, from the user point of view, the buffer seems to be running in, say "*tla-changes*". When killing this buffer, it seems natural to expect that the corresponding processes will be killed (as the compilation process is killed when you close the *compilation* buffer). -- Matthieu
