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

Fixup wrong type definitions. (set/get-keymap) and (get-snipclass)

Browse Source
This commit is contained in:
WarGrey Gyoudmon Ju 2016-02-08 12:36:47 +08:00 committed by Vincent St-Amour
parent e1b9c06d5c
commit e0d067c99a
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
typed-racket-more/typed/racket/private/gui-types.rkt
View File

@ -2115,7 +2115,7 @@
[get-flattened-text (-> String)]
[get-focus-snip (-> (Option (Instance Snip%)))]
[get-inactive-caret-threshold (-> (U 'no-caret 'show-inactive-caret 'show-caret))]
[get-keymap (-> (Option Keymap%))]
[get-keymap (-> (Option (Instance Keymap%)))]
[get-load-overwrites-styles (-> Boolean)]
[get-max-height (-> (U Nonnegative-Real 'none))]
[get-max-undo-history (-> (U Natural 'forever))]
@ -2311,7 +2311,7 @@
[set-inactive-caret-threshold
((U 'no-caret 'show-inactive-caret 'show-caret) -> Void)]
[set-keymap
(case-> (-> Void) ((Option Keymap%) -> Void))]
(case-> (-> Void) ((Option (Instance Keymap%)) -> Void))]
[set-load-overwrites-styles (Any -> Void)]
[set-max-height ((U Integer 'none) -> Void)]
[set-max-undo-history ((U Integer 'forever) -> Void)]
@ -2836,7 +2836,7 @@
[get-flags (-> (Listof Symbol))]
[get-num-scroll-steps (-> Natural)]
[get-scroll-step-offset (Natural -> Nonnegative-Real)]
[get-snipclass (-> (Option Snip-Class%))]
[get-snipclass (-> (Option (Instance Snip-Class%)))]
[get-style (-> (Instance Style<%>))]
[get-text
(case-> (Natural Natural -> String)