revert to default button: minor tweaks
svn: r5637
This commit is contained in:
parent
0da9774511
commit
c2e4fcd60d
|
@ -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
|
||||
|
|
|
@ -420,7 +420,7 @@ please adhere to these guidelines:
|
|||
(background-color "Background 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")
|
||||
(revert-to-defaults "Revert to defaults")
|
||||
(revert-to-defaults "Revert to Defaults")
|
||||
|
||||
; title of the color choosing dialog
|
||||
|
||||
|
|
Loading…
Reference in New Issue
Block a user