suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix DrRacket's insert-large-letters

Browse Source 
This is a temporary fix in the sense that the typed/mred
wrapper that this relies on is incomplete. Once the typed
racket/gui bindings are merged, a more complete
insert-large-letters will be checked in.

Closes PR 14362

original commit: 2295f71dbeb21b8ba3231d25cafb070d0be585dc
This commit is contained in:
Asumu Takikawa 2014-02-21 14:39:01 -05:00
parent c4bfa96216
commit 4d9431279e
1 changed files with 11 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
pkgs/typed-racket-pkgs/typed-racket-more/typed/mred/mred.rkt
View File

@ -35,14 +35,19 @@
[show (Any -> Void)])))
(define-type Bitmap%
(Class [get-width (-> Integer)]
(Class (init-rest (U (List Exact-Positive-Integer Exact-Positive-Integer)
(List Exact-Positive-Integer Exact-Positive-Integer Any)
(List Exact-Positive-Integer Exact-Positive-Integer Any Any)
(List Exact-Positive-Integer Exact-Positive-Integer Any Any Real)))
[get-width (-> Integer)]
[get-height (-> Integer)]))
(define-type Font-List%
(Class
[find-or-create-font
(case-> (Integer Symbol Symbol Symbol -> (Instance Font%))
(Integer String Symbol Symbol Symbol -> (Instance Font%)))]))
(Integer String Symbol Symbol Symbol -> (Instance Font%))
(Integer String Symbol Symbol Symbol Symbol -> (Instance Font%)))]))
(define-type Font%
(Class [get-face (-> (Option String))]
@ -101,7 +106,10 @@
[draw-text (String Number Number -> Void)]))
(define-type Color%
(Class [red (-> Number)]))
(Class (init-rest (U Null
(List Byte Byte Byte)
(List Byte Byte Byte Real)))
[red (-> Number)]))
(define-type Snip%
(Class [get-count (-> Integer)]))