deal with empty values
part of darcs patch Thu Sep 22 14:02:15 EEST 2005 Martin Gasbichler <gasbichl@informatik.uni-tuebingen.de>
This commit is contained in:
parent
d3e61c5546
commit
7488bcdf18
|
@ -3,10 +3,14 @@
|
||||||
(define (make-inspector-selection-list num-cols num-lines focus-obj)
|
(define (make-inspector-selection-list num-cols num-lines focus-obj)
|
||||||
(let ((menu (prepare-menu focus-obj)))
|
(let ((menu (prepare-menu focus-obj)))
|
||||||
(make-select-list
|
(make-select-list
|
||||||
|
(if (null? menu) ; the select-list must not be empty
|
||||||
|
(list
|
||||||
|
(make-unmarked-text-element
|
||||||
|
focus-obj #t (val-to-string focus-obj num-cols)))
|
||||||
(map (lambda (e)
|
(map (lambda (e)
|
||||||
(make-unmarked-text-element
|
(make-unmarked-text-element
|
||||||
(cadr e) #t (layout-menu-entry num-cols e)))
|
(cadr e) #t (layout-menu-entry num-cols e)))
|
||||||
menu)
|
menu))
|
||||||
num-lines)))
|
num-lines)))
|
||||||
|
|
||||||
(define (make-header focus-obj num-cols)
|
(define (make-header focus-obj num-cols)
|
||||||
|
|
Loading…
Reference in New Issue