default-settings in drscheme:language:simple-module-based-language->module-based-language-mixin

This method is the same as default-settings.

• (send a-drscheme:language:simple-module-based-language->module-based-language-mixin default-settings settings

  The defaults for the settings are

  • case-sensitive is #f

  • printing-style is 'write

  • show-sharing is #f

  • insert-newlines is #t

  See also section 3.20 for details of the simple-settings structure, this mixins settings type.