Fix bug: don't enqueue a process in the process-input-queue if it is
authorChris Hanson <org/chris-hanson/cph>
Fri, 24 May 1996 07:33:41 +0000 (07:33 +0000)
committerChris Hanson <org/chris-hanson/cph>
Fri, 24 May 1996 07:33:41 +0000 (07:33 +0000)
commit1fb6ae4dd9ef354f74bc2dec6daa25687dd10792
treeb5014a62dff738bfc7a1f705619eb829827b16b8
parentc47b72d837c8be46a982fe90bba06197d553c28b
Fix bug: don't enqueue a process in the process-input-queue if it is
already in the queue.  Otherwise, it can easily get entered very many
times: if there is input waiting, and the editor is busy, the process
will be queued as often as the select code can run.
v7/src/edwin/process.scm