added revert to defaults
svn: r5575 original commit: 276cd746dfa6b1a35c16db8bb70a04726f19a1ec
This commit is contained in:
parent
af1953707d
commit
11bfa25225
|
@ -238,6 +238,12 @@ the state transitions / contracts are:
|
||||||
[cancel-callback (λ (_1 _2)
|
[cancel-callback (λ (_1 _2)
|
||||||
(hide-dialog)
|
(hide-dialog)
|
||||||
(preferences:restore-prefs-snapshot stashed-prefs))])
|
(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
|
(gui-utils:ok/cancel-buttons
|
||||||
bottom-panel
|
bottom-panel
|
||||||
ok-callback
|
ok-callback
|
||||||
|
|
Loading…
Reference in New Issue
Block a user