..
original commit: 81b248af6bb651af48c2c0c0a9be2390f63580c4
This commit is contained in:
parent
c9a24afeff
commit
eced374756
|
@ -20,7 +20,7 @@
|
||||||
(lib "mred.ss" "mred"))
|
(lib "mred.ss" "mred"))
|
||||||
|
|
||||||
(preferences:add-editor-checkbox-panel)
|
(preferences:add-editor-checkbox-panel)
|
||||||
(preferences:add-misc-checkbox-panel)
|
(preferences:add-warnings-checkbox-panel)
|
||||||
;; don't call preferences:add-scheme-checkbox-panel
|
;; don't call preferences:add-scheme-checkbox-panel
|
||||||
;; here since those prefs don't really apply to Help Desk
|
;; here since those prefs don't really apply to Help Desk
|
||||||
(add-proxy-prefs-panel)
|
(add-proxy-prefs-panel)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user