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

Fix Editor<%> and Snip% types

Browse Source
This commit is contained in:
Asumu Takikawa 2014-11-02 22:10:11 -05:00
parent c7688818fa
commit f59b36a951
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -2119,8 +2119,6 @@
-> Void)]
[on-save-file (Path Load/Save-Format -> Void)]
[on-snip-modified ((Instance Snip%) Any -> Void)]
[on-goodbye-event ((Instance DC<%>) Real Real Real Real
(Instance Mouse-Event%) -> Void)]
[own-caret (Any -> Void)]
[paste (case-> (-> Void) (Integer -> Void))]
[paste-x-selection (case-> (-> Void) (Integer -> Void))]
@ -2736,6 +2734,8 @@
[on-event
((Instance DC<%>) Real Real Real Real
(Instance Mouse-Event%) -> Void)]
[on-goodbye-event ((Instance DC<%>) Real Real Real Real
(Instance Mouse-Event%) -> Void)]
[own-caret (Any -> Void)]
[partial-offset ((Instance DC<%>) Real Real Natural -> Real)]
[previous (-> (Option (Instance Snip%)))]