From bf24ebdd654837de18785e57b335f980eea07dda Mon Sep 17 00:00:00 2001 From: WarGrey Gyoudmon Ju Date: Thu, 31 Mar 2016 09:46:04 +0800 Subject: [PATCH] Fixup a typo in the definition of (make-font); Fixup the wrong definition of (get-filename); Provide editor-snip% with Editor-Snip% --- typed-racket-more/typed/racket/draw.rkt | 2 +- typed-racket-more/typed/racket/gui/base.rkt | 1 + typed-racket-more/typed/racket/private/gui-types.rkt | 2 +- 3 files changed, 3 insertions(+), 2 deletions(-) diff --git a/typed-racket-more/typed/racket/draw.rkt b/typed-racket-more/typed/racket/draw.rkt index f2684d72..4d06fe4f 100644 --- a/typed-racket-more/typed/racket/draw.rkt +++ b/typed-racket-more/typed/racket/draw.rkt @@ -140,7 +140,7 @@ #:weight -Font-Weight #f #:underlined? Univ #f #:smoothing -Font-Smoothing #f - #:size-in-pizels? Univ #f + #:size-in-pixels? Univ #f #:hinting -Font-Hinting #f (-inst (parse-type #'Font%)))] [make-monochrome-bitmap diff --git a/typed-racket-more/typed/racket/gui/base.rkt b/typed-racket-more/typed/racket/gui/base.rkt index eaa3892a..ba4bdb78 100644 --- a/typed-racket-more/typed/racket/gui/base.rkt +++ b/typed-racket-more/typed/racket/gui/base.rkt @@ -81,6 +81,7 @@ #:lock-while-reading? Univ #f -Input-Port)] ;; Editor classes + [editor-snip% (parse-type #'Editor-Snip%)] [editor-admin% (parse-type #'Editor-Admin%)] [editor-canvas% (parse-type #'Editor-Canvas%)] [editor-data% (parse-type #'Editor-Data%)] diff --git a/typed-racket-more/typed/racket/private/gui-types.rkt b/typed-racket-more/typed/racket/private/gui-types.rkt index 7b7141d1..77177acb 100644 --- a/typed-racket-more/typed/racket/private/gui-types.rkt +++ b/typed-racket-more/typed/racket/private/gui-types.rkt @@ -2111,7 +2111,7 @@ ((Option (Boxof Real)) (Option (Boxof Real)) -> Void)] [get-file ((Option Path) -> (Option Path-String))] [get-filename - ((Option (Boxof Any)) -> (Option Path-String))] + (->* () ((Option (Boxof Any))) (Option Path-String))] [get-flattened-text (-> String)] [get-focus-snip (-> (Option (Instance Snip%)))] [get-inactive-caret-threshold (-> (U 'no-caret 'show-inactive-caret 'show-caret))]