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

Fixup wrong type definition: set-caret-owner, it needs (Instance Snip%)

Browse Source
This commit is contained in:
WarGrey Gyoudmon Ju 2016-04-07 09:33:46 +08:00
parent bf24ebdd65
commit 0d45168aee
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -2300,8 +2300,8 @@
[set-active-canvas ((Instance Editor-Canvas%) -> Void)]
[set-admin ((Option (Instance Editor-Admin%)) -> Void)]
[set-caret-owner
(case-> ((Option Snip%) -> Void)
((Option Snip%) (U 'immediate 'display 'global) -> Void))]
(case-> ((Option (Instance Snip%)) -> Void)
((Option (Instance Snip%)) (U 'immediate 'display 'global) -> Void))]
[set-cursor
(case-> ((Option (Instance Cursor%)) -> Void)
((Option (Instance Cursor%)) Any -> Void))]