From 2c70c982286e7b33d6de426d08b7c74a958da80c Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Thu, 14 Jul 2011 17:39:07 -0400 Subject: [PATCH] Fix a few framework contracts to match code (cherry picked from commit 6c3284a828f58475a9a8cd6cda6665864b156d3b) --- collects/scribblings/framework/color.scrbl | 2 +- collects/scribblings/framework/scheme.scrbl | 5 +++-- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/collects/scribblings/framework/color.scrbl b/collects/scribblings/framework/color.scrbl index 067c6bb05b..cfc1ef6e50 100644 --- a/collects/scribblings/framework/color.scrbl +++ b/collects/scribblings/framework/color.scrbl @@ -207,7 +207,7 @@ be inserted, even if it is not the right kind. If @racket[flash?] is true, the matching open parenthesis will be flashed. } - @defmethod*[(((classify-position (position exact-nonnegative-integer?)) symbol?))]{ + @defmethod*[(((classify-position (position exact-nonnegative-integer?)) (or/c symbol? #f)))]{ Return a symbol for the lexer-determined token type for the token that contains the item after @racket[position]. diff --git a/collects/scribblings/framework/scheme.scrbl b/collects/scribblings/framework/scheme.scrbl index 4a822f9009..da1b48cdd8 100644 --- a/collects/scribblings/framework/scheme.scrbl +++ b/collects/scribblings/framework/scheme.scrbl @@ -67,12 +67,13 @@ } @defmethod*[(((tabify (start-pos exact-integer? - (send this text get-start-position))) + (send this get-start-position))) void?))]{ Tabs the line containing by @racket[start-pos] } - @defmethod*[(((tabify-selection (start exact-integer?) (end exact-integer?)) + @defmethod*[(((tabify-selection (start exact-integer? (send this get-start-position)) + (end exact-integer? (send this get-end-position))) void?))]{ Sets the tabbing for the lines containing positions @racket[start] through @racket[end].