revert to default button: minor tweaks

svn: r5637 original commit: c2e4fcd60d18f3ac9803f2cd462066757dc19031
2007-02-19 22:08:04 +00:00 · 2007-02-19 22:08:04 +00:00 · da82e304d0
commit da82e304d0
parent 5de958916e
1 changed files with 1 additions and 0 deletions
--- a/collects/framework/private/preferences.ss
+++ b/collects/framework/private/preferences.ss
@ -244,6 +244,7 @@ the state transitions / contracts are:
            (λ (a b)
              (preferences:restore-defaults))]
           [parent bottom-panel])
+      (new horizontal-panel% [parent bottom-panel]) ;; spacer
      (gui-utils:ok/cancel-buttons
       bottom-panel
       ok-callback