add Text% type, new function

svn: r13536
This commit is contained in:
Sam Tobin-Hochstadt 2009-02-12 19:55:02 +00:00
parent d169b427d6
commit 80c8ac3b5f

View File

@ -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)])