Repaint only if input channel is empty

This commit is contained in:
mainzelm 2006-04-07 09:44:31 +00:00
parent bd1f30f129
commit 543d9e63a7
1 changed files with 2 additions and 1 deletions

View File

@ -548,7 +548,8 @@
(result-buffer-handle-key ch))
(else
(input (command-buffer) ch)
(repaint-command-winow!))))
(if (null? (select-port-channels 0 (current-input-port)))
(repaint-command-winow!)))))
(define (repaint-command-winow!)
(obtain-lock paint-lock)