From 11bfa2522558f409b04f35eda6f014fe2faadb74 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Thu, 8 Feb 2007 15:45:12 +0000
Subject: [PATCH] added revert to defaults

svn: r5575

original commit: 276cd746dfa6b1a35c16db8bb70a04726f19a1ec
---
 collects/framework/private/preferences.ss | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/collects/framework/private/preferences.ss b/collects/framework/private/preferences.ss
index 8e31257f..96357ecd 100644
--- a/collects/framework/private/preferences.ss
+++ b/collects/framework/private/preferences.ss
@@ -238,6 +238,12 @@ the state transitions / contracts are:
              [cancel-callback (λ (_1 _2)
                                 (hide-dialog)
                                 (preferences:restore-prefs-snapshot stashed-prefs))])
+      (new button%
+           [label (string-constant revert-to-defaults)]
+           [callback
+            (λ (a b)
+              (preferences:restore-defaults))]
+           [parent bottom-panel])
       (gui-utils:ok/cancel-buttons
        bottom-panel
        ok-callback