Fix the job list
part of darcs patch Sun Sep 18 12:25:51 EEST 2005 Eric Knauel <knauel@informatik.uni-tuebingen.de>
This commit is contained in:
parent
2973bc8d99
commit
0280658d1c
|
@ -213,8 +213,8 @@
|
||||||
"-"))
|
"-"))
|
||||||
(#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)))
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue