.
original commit: 08c4f94ddcb288c6852b57daff5a45170f19d6ca
This commit is contained in:
parent
dc893a1331
commit
a259ec0ed6
|
@ -41,6 +41,7 @@ It is only loaded when Help Desk is run by itself (outside DrScheme).
|
||||||
'framework:standard-style-list:font-size
|
'framework:standard-style-list:font-size
|
||||||
(lambda (p v) (send size set-value v)))
|
(lambda (p v) (send size set-value v)))
|
||||||
hp)))
|
hp)))
|
||||||
|
(color-prefs:add-background-preferences-panel)
|
||||||
(preferences:add-warnings-checkbox-panel)
|
(preferences:add-warnings-checkbox-panel)
|
||||||
(install-help-browser-preference-panel)
|
(install-help-browser-preference-panel)
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user