From 294032c12e4ec4debfb2ee57dff07f147fb7b982 Mon Sep 17 00:00:00 2001 From: WarGrey Gyoudmon Ju Date: Wed, 1 Feb 2017 19:24:07 +0800 Subject: [PATCH] improve (get-text) of Text% to accept another two arguments (#499) --- typed-racket-more/typed/racket/private/gui-types.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/typed-racket-more/typed/racket/private/gui-types.rkt b/typed-racket-more/typed/racket/private/gui-types.rkt index 4655560e..10bbe1c3 100644 --- a/typed-racket-more/typed/racket/private/gui-types.rkt +++ b/typed-racket-more/typed/racket/private/gui-types.rkt @@ -1838,7 +1838,7 @@ ((Option (Boxof Integer)) (Option (Boxof Real)) -> (Listof Real)) ((Option (Boxof Integer)) (Option (Boxof Real)) (Option (Boxof Any)) -> (Listof Real)))] - [get-text (Integer (U Integer 'eof) -> String)] + [get-text (->* () (Integer (U Integer 'eof) Any Any) String)] [get-top-line-base (-> Nonnegative-Real)] [get-visible-line-range (case-> ((Option (Boxof Integer)) (Option (Boxof Real)) -> Void)