From 5a948dbc6739cf1989f0213c33a522d2b51317ff Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 16 Sep 1998 21:41:35 +0000 Subject: [PATCH] ... original commit: 92d797053653a8b0c24781b432e290c78bb0e0fa --- collects/framework/prefs.ss | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/framework/prefs.ss b/collects/framework/prefs.ss index 3036a075..651756aa 100644 --- a/collects/framework/prefs.ss +++ b/collects/framework/prefs.ss @@ -9,6 +9,7 @@ (define preferences-filename (build-path (find-system-path 'pref-dir) (case (system-type) [(macos) "MrEd Preferences"] + [(windows) "mred.pre"] [else ".mred.prefs"]))) (define preferences (make-hash-table))