get-user-setting

This method is called just before execution to determine the user's setting.

• (send a-drscheme:rep:context get-user-setting) -> setting

  Returns the current preference setting for 'drscheme:settings. See preferences:get for more information on the preferences system.