on-execute in drscheme:language:module-based-language<%>
This method is the same as
on-execute.
(-> vodsenda-drscheme:language:module-based-languageon-executesettingsrun-in-user-thread)
settings: settings
run-in-user-thread: ((-> void) -> void)