This can only be called after all of the tools initialization phases have completed.
Returns the list of all of the languages installed in DrScheme.
Adds language to the languages offerend by DrScheme.
This is the constructor for a record consisting of two
elements, a language and its settings.
The settings is a language-specific record that holds a
value describing a parameterization of the language.
Extracts the settings field of a language-settings.
Extracts the language field of a language-settings.
Determines if the argument is a language-settings or not.
The show-welcome? argument determines if
if a “Welcome to DrScheme” message and some
natural language buttons are shown.
The language-settings-to-show argument
must be some default language settings that the dialog
is initialized to.
If unsure of a default, the currently set language
in the user’s preferences can be obtained via:
The parent argument is used as the parent
to the dialog.
The result if #f when the user cancells the dialog, and
the selected language if they hit ok.
This procedure accepts two parent panels and
fills them with the contents of the language dialog.
It is used to include language configuration controls
in some larger context in another dialog.
The panel argument is the main panel where the
language controls will be placed.
The function adds buttons to the button-panel
to revert a language to its default settings and to
show the details of a language.
The language-setting is the default
language to show in the dialog.
The re-center argument is used when the Show Details
button is clicked. If that argument is a top-level-window<%>,
the Show Details callback will recenter the window each time
it is clicked. Otherwise, the argument is not used.
ok-handler is a function that is in charge of interfacing the OK
button. It should accept a symbol message: 'enable and
'disable to toggle the button, and 'execute to run
the desired operation. (The language selection dialog also uses an
internal 'enable-sync message.)