From 0f63a91d9b0c1801ece05bc000056411cf3bbfbe Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 10 Jul 2000 03:26:18 +0000 Subject: [PATCH] ... original commit: 63b47b00eef6a0406104046b9cfd555333ae53ce --- collects/framework/prefs.ss | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/collects/framework/prefs.ss b/collects/framework/prefs.ss index 409db01e..bd2bd940 100644 --- a/collects/framework/prefs.ss +++ b/collects/framework/prefs.ss @@ -9,7 +9,8 @@ (rename [-read read]) - (define default-preferences-filename (build-path (collection-path "defaults") "prefs.ss")) + (define default-preferences-filename + (build-path (collection-path "defaults") "prefs.ss")) ;; preferences : sym -o> (union marshalled pref) (define preferences (make-hash-table)) @@ -237,7 +238,7 @@ (format "Error reading preferences~n~a" (exn-message exn))) (k #f))]) - (call-with-input-file (prefs-file:get-preferences-filename) + (call-with-input-file preferences-filename read 'text))]) (if (eof-object? input)