Make "<View Console>" work again
part of darcs patch Sat Sep 17 19:37:33 EEST 2005 Eric Knauel <knauel@informatik.uni-tuebingen.de>
This commit is contained in:
parent
60fa0e133c
commit
7340f76507
|
@ -213,25 +213,32 @@
|
||||||
"-"))
|
"-"))
|
||||||
(#f "run status:"
|
(#f "run status:"
|
||||||
,(format-job-run-state job))
|
,(format-job-run-state job))
|
||||||
,@(if (job-with-console? job)
|
,(if (job-with-console? job)
|
||||||
`((,console-viewer "<View Console>" ""))
|
`(,console-viewer "<View Console>" "")
|
||||||
'())))
|
'())))
|
||||||
(- (result-buffer-num-lines buffer) 1)))
|
(- (result-buffer-num-lines buffer) 1)))
|
||||||
|
|
||||||
(define (handle-key-press self key control-x-pressed?)
|
(define (handle-key-press self key control-x-pressed?)
|
||||||
(cond
|
(cond
|
||||||
((= key fg-key)
|
((= key fg-key)
|
||||||
(continue-job-in-foreground job))
|
(continue-job-in-foreground job)
|
||||||
|
self)
|
||||||
((= key bg-key)
|
((= key bg-key)
|
||||||
(continue-job-in-background job))
|
(continue-job-in-background job)
|
||||||
|
self)
|
||||||
((= key refresh-key)
|
((= key refresh-key)
|
||||||
(set! select-list (make-job-select-list job)))
|
(set! select-list (make-job-select-list job))
|
||||||
|
self)
|
||||||
((= key stop-job-key)
|
((= key stop-job-key)
|
||||||
(stop-job job))
|
(stop-job job)
|
||||||
|
self)
|
||||||
|
((and (= key 10)
|
||||||
|
(procedure? (select-list-selected-entry select-list)))
|
||||||
|
(select-list-selected-entry select-list))
|
||||||
(else
|
(else
|
||||||
(set! select-list
|
(set! select-list
|
||||||
(select-list-handle-key-press select-list key))))
|
(select-list-handle-key-press select-list key))
|
||||||
self)
|
self)))
|
||||||
|
|
||||||
(set! select-list (make-job-select-list job))
|
(set! select-list (make-job-select-list job))
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue