From 80c8ac3b5f79924faa86bb671fe8e975b2e03f0f Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 12 Feb 2009 19:55:02 +0000 Subject: [PATCH] add Text% type, new function svn: r13536 --- collects/typed/mred/mred.ss | 21 ++++++++++++++++++++- 1 file changed, 20 insertions(+), 1 deletion(-) diff --git a/collects/typed/mred/mred.ss b/collects/typed/mred/mred.ss index f1fa122bcb..c42b478fc2 100644 --- a/collects/typed/mred/mred.ss +++ b/collects/typed/mred/mred.ss @@ -44,6 +44,24 @@ [draw-text (String Number Number -> Void)]))) (dt Color% (Class () () ([red (-> Number)]))) +(dt Text% (Class () + () + ([begin-edit-sequence (-> Void)] + [end-edit-sequence (-> Void)] + [lock (Boolean -> Void)] + [last-position (-> Number)] + [last-paragraph (-> Number)] + [delete (Number Number -> Void)] + [auto-wrap (Any -> Void)] + [paragraph-end-position (Number -> Integer)] + [paragraph-start-position (Number -> Integer)] + [get-start-position (-> Integer)] + [get-end-position (-> Integer)] + [while-unlocked ((-> Any) -> Any)] + [get-text (Integer (U Integer 'eof) -> String)] + [insert (String Number Number -> Void)]))) + + (require/typed/provide mred/mred [the-font-list (Instance Font-List%)] @@ -57,5 +75,6 @@ [editor-canvas% Editor-Canvas%] [bitmap-dc% Bitmap-DC%] [bitmap% Bitmap%] - [color% Color%]) + [color% Color%] + [open-input-text-editor ((Instance Text%) Integer (U 'end Integer) (Any -> Any) Any Any -> Input-Port)])