From b50b6f5a73db6373ccde7e1896aa2a2027449957 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 7 Dec 2006 22:32:31 +0000 Subject: [PATCH] changed the strategy of the preferences library in the framework to use a different key at the file.ss level (and thus save the prefs on each call to preferences:set) svn: r5058 original commit: d47247507f6dd55cf3d628a83570096137cda406 --- collects/macro-debugger/syntax-browser/frame.ss | 1 - 1 file changed, 1 deletion(-) diff --git a/collects/macro-debugger/syntax-browser/frame.ss b/collects/macro-debugger/syntax-browser/frame.ss index f729d03..e6a6af2 100644 --- a/collects/macro-debugger/syntax-browser/frame.ss +++ b/collects/macro-debugger/syntax-browser/frame.ss @@ -47,7 +47,6 @@ (pref:width (send this get-width)) (pref:height (send this get-height)) (send widget save-prefs) - (preferences:save) (inner (void) on-close)) ))