drscheme:basis:get-default-setting

Next: drscheme:basis:get-default-setting-name Up: Languages Previous: drscheme:basis:format-source-loc

`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