From a5a8bf953fee9de4e91cc77a156fb4c166aae18a Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 13 Apr 2010 19:45:17 +0000 Subject: [PATCH] added docs for the extra-repl-information method of drscheme:language:language<%> svn: r18811 --- collects/scribblings/tools/language.scrbl | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/collects/scribblings/tools/language.scrbl b/collects/scribblings/tools/language.scrbl index 7588598fd1..bc4497eb42 100644 --- a/collects/scribblings/tools/language.scrbl +++ b/collects/scribblings/tools/language.scrbl @@ -882,6 +882,15 @@ the name. } +@defmethod[(extra-repl-information [settings settings] [port output-port?]) void?]{ + This method is called on the DrScheme eventspace main thread to insert extra + information into the REPL to reflect the state of the program. + + It is used, for example, to print out the ``Teachpack'' lines in the HtDP languages. +} + + + @defmethod[(marshall-settings [settings settings]) writable]{ Translates an instance of the settings type into a scheme