refresh window more often (i.e. too often)
This commit is contained in:
		
							parent
							
								
									f5c808e10a
								
							
						
					
					
						commit
						88c6250483
					
				| 
						 | 
				
			
			@ -38,7 +38,6 @@
 | 
			
		|||
  (spawn 
 | 
			
		||||
   (lambda ()
 | 
			
		||||
     (let lp ((paint? #t))
 | 
			
		||||
       (debug-message "spawn-console-loop " paint?)
 | 
			
		||||
       (select
 | 
			
		||||
	(wrap (receive-rv pause-channel)
 | 
			
		||||
	      (lambda (ignore)
 | 
			
		||||
| 
						 | 
				
			
			@ -54,8 +53,10 @@
 | 
			
		|||
		 (else
 | 
			
		||||
		  (terminal-buffer-add-char terminal-buffer char)
 | 
			
		||||
		  (if paint?
 | 
			
		||||
		      (curses-paint-terminal-buffer 
 | 
			
		||||
		       terminal-buffer window))
 | 
			
		||||
		      (begin
 | 
			
		||||
			(curses-paint-terminal-buffer 
 | 
			
		||||
			 terminal-buffer window)
 | 
			
		||||
			(wrefresh window)))
 | 
			
		||||
		  (lp paint?))))))))))
 | 
			
		||||
 | 
			
		||||
(define (pause-console-output console)
 | 
			
		||||
| 
						 | 
				
			
			
 | 
			
		|||
		Loading…
	
		Reference in New Issue