From 0386971fa47b3e3db9d9dd9c4ec8b144589b1f76 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 4 May 2023 20:44:37 -0500 Subject: [PATCH] add note that points to start/end explanation --- .../scribblings/drracket-tools/drracket-tools.scrbl | 3 +++ 1 file changed, 3 insertions(+) diff --git a/drracket-tool-doc/scribblings/drracket-tools/drracket-tools.scrbl b/drracket-tool-doc/scribblings/drracket-tools/drracket-tools.scrbl index 22d5caec4..a0513ccbe 100644 --- a/drracket-tool-doc/scribblings/drracket-tools/drracket-tools.scrbl +++ b/drracket-tool-doc/scribblings/drracket-tools/drracket-tools.scrbl @@ -168,6 +168,9 @@ in order to make the results be platform independent. in color scheme specifications, respectively. See @secref["color-scheme" #:doc '(lib "scribblings/drracket/drracket.scrbl")]. + See @method[syncheck-annotations<%> syncheck:add-require-open-menu] for information + about the @racket[start] and @racket[end] arguments. + @history[#:added "1.8"] } @defmethod[(syncheck:add-background-color [source-obj (not/c #f)]