Two small fixes related to options.

This commit is contained in:
mainzelm 2003-03-17 19:29:45 +00:00
parent b74ca11656
commit 33f1a2f063
1 changed files with 2 additions and 1 deletions

View File

@ -684,7 +684,8 @@
(surflet-options-session-lifetime options))
(set-surflet-options-make-session-timeout-text!
new-options
(surflet-options-make-session-timeout-text))))
(surflet-options-make-session-timeout-text options))
new-options))
(define (make-surflet-options-transformer set-option!)
(lambda (new-value . stuff)