Stefan Monnier <monn...@iro.umontreal.ca> writes: I think this deserves an Emacs bug report.
see http://debbugs.gnu.org/cgi/bugreport.cgi?bug=13400 There are definitely some documentation problems. process-send-string is not mentioned as function that might trigger a filter call. 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. I believe it would be good to have a process-specific flag that inhibits overlapping parallel calls to the same process filter. Emacs could accept output but buffer it until the previous filter terminates. Bye, Hendrik _______________________________________________ ProofGeneral-devel mailing list ProofGeneralfirstname.lastname@example.org http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel