drscheme:language:settings-preferences-symbol

This is defined to be the key used with the preferences system to get the user's current language settings (use this with preferences:get).

• a-drscheme:language:settings-preferences-symbol -> symbol