[previous] [up] [next]     [index]
Next: drscheme:basis:add-setting Up: Userspace Previous: Userspace

current-setting

This is a parameter that has the value of the current setting. This parameter's value reflects the current settings of the language in the interactions window, which may be different from the current settings in the language dialog. The language dialog setting can be recovered from the user's preferences with the key 'drscheme:setting.



PLT