drscheme:language-configuration:get-settings-preferences-symbol in DrScheme Tools Functions
(drscheme:language-configuration:get-settings-preferences-symbol) -> symbol?
Returns the symbol that is used to store the user's language
settings. Use as an argument to either
preferences:get or
preferences:set.