Next:
drscheme:basis:copy-setting
Up:
Userspace
Previous:
current-setting
drscheme:basis:add-setting
(drscheme:basis:add-setting
setting
)
->
void
setting
:
setting
Adds
setting
to the list of settings in
settings
.
PLT
![[previous]](../icons/left.gif){kind=icon}
![[up]](../icons/up.gif){kind=icon}
![[next]](../icons/right.gif){kind=icon}
![[index]](../icons/index.gif){kind=icon}