Some improvements to the history
part of darcs patch Sun Sep 18 20:27:35 EEST 2005 Eric Knauel <knauel@informatik.uni-tuebingen.de>
This commit is contained in:
		
							parent
							
								
									d34e8ed07e
								
							
						
					
					
						commit
						d921e332be
					
				| 
						 | 
					@ -87,7 +87,10 @@
 | 
				
			||||||
  (cond
 | 
					  (cond
 | 
				
			||||||
   ((current-history-item)
 | 
					   ((current-history-item)
 | 
				
			||||||
    => (lambda (entry)
 | 
					    => (lambda (entry)
 | 
				
			||||||
	 (set-history-entry-viewer! (entry-data entry) new-viewer)))
 | 
						 (if (not (eq? (history-entry-viewer (entry-data entry))
 | 
				
			||||||
 | 
							       new-viewer))
 | 
				
			||||||
 | 
						     (append-to-history!
 | 
				
			||||||
 | 
						      (make-history-entry #f '() new-viewer)))))
 | 
				
			||||||
   (else (values))))
 | 
					   (else (values))))
 | 
				
			||||||
 | 
					
 | 
				
			||||||
(define (append-to-history! history-entry)
 | 
					(define (append-to-history! history-entry)
 | 
				
			||||||
| 
						 | 
					@ -680,8 +683,11 @@
 | 
				
			||||||
      => (lambda (entry)
 | 
					      => (lambda (entry)
 | 
				
			||||||
	   (mvwaddstr win 1 2 
 | 
						   (mvwaddstr win 1 2 
 | 
				
			||||||
		      (maybe-shorten-string 
 | 
							      (maybe-shorten-string 
 | 
				
			||||||
		       (history-entry-command (entry-data entry)) width)))))
 | 
							       (if (entry-data entry)
 | 
				
			||||||
    (wrefresh win)))
 | 
								   "user interaction"
 | 
				
			||||||
 | 
								   (history-entry-command (entry-data entry))) 
 | 
				
			||||||
 | 
							       width)))))
 | 
				
			||||||
 | 
					     (wrefresh win)))
 | 
				
			||||||
 | 
					
 | 
				
			||||||
;;Cursor
 | 
					;;Cursor
 | 
				
			||||||
;;move cursor to the corrct position
 | 
					;;move cursor to the corrct position
 | 
				
			||||||
| 
						 | 
					
 | 
				
			||||||
		Loading…
	
		Reference in New Issue