drscheme:basis:get-default-setting

Next: drscheme:basis:get-default-setting-name Up: Userspace Previous: drscheme:basis:find-setting-named

`drscheme:basis:get-default-setting`

Returns a copy of the default setting, the one for the Beginner language level.

(drscheme:basis:get-default-setting setting) -> setting
setting : setting