drscheme:language:simple-settings-case-sensitive in DrScheme Tools Functions

• (drscheme:language:simple-settings-case-sensitive simple-settings) -> boolean?
     simple-settings : drscheme:language:simple-settings?

  Extracts the case-sensitive setting from a simple-settings.