> +In Emacs a process filter function can be called while the same > +filter is currently running for the same process, for instance, > +when the filter bocks on I/O. This wrapper protects the main
I think this deserves an Emacs bug report. I'm not completely sure it's a bug rather than a "feature", but it would be good to record this as a problematic area. I think many packages are vulnerable to this problem, although they usually don't suffer from it. The most common case where they do suffer from it is when you try to Edebug the process filter. Stefan _______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel