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
2006-12-07 22:32:31 +00:00 · 2006-12-07 22:32:31 +00:00 · b50b6f5a73
commit b50b6f5a73
parent d50b3ebc06
1 changed files with 0 additions and 1 deletions
--- 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))
          ))