Stefan Monnier <> writes:

   I think this deserves an Emacs bug report.


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


ProofGeneral-devel mailing list

Reply via email to