drscheme:modes:mode-name in DrScheme Tools Functions
(drscheme:modes:mode-name-> string?mode)
mode: drscheme:modes:mode?Extracts the name of the mode.
See also
drscheme:modes:add-mode.
drscheme:modes:mode-name in DrScheme Tools Functions
(drscheme:modes:mode-name -> string?
mode)
mode : drscheme:modes:mode?
Extracts the name of the mode.
See also
drscheme:modes:add-mode.