added revert to defaults
svn: r5575
This commit is contained in:
parent
63a716f92f
commit
276cd746df
|
@ -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
|
||||||
|
|
|
@ -418,6 +418,7 @@ please adhere to these guidelines:
|
||||||
(background-color "Background Color")
|
(background-color "Background Color")
|
||||||
(default-text-color "Default text") ;; used for configuring colors, but doesn't need the word "color"
|
(default-text-color "Default text") ;; used for configuring colors, but doesn't need the word "color"
|
||||||
(choose-a-background-color "Please choose a background color")
|
(choose-a-background-color "Please choose a background color")
|
||||||
|
(revert-to-defaults "Revert to defaults")
|
||||||
|
|
||||||
; title of the color choosing dialog
|
; title of the color choosing dialog
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user