From 89f25ec9812240bee14ee89d93571ba85ba9718d Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Sun, 2 Nov 2014 22:10:11 -0500 Subject: [PATCH] Fix Editor<%> and Snip% types original commit: f59b36a9511032be224108c31fc716e71124521f --- .../typed-racket-more/typed/racket/private/gui-types.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/private/gui-types.rkt b/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/private/gui-types.rkt index b5eb1ed7..53b20418 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/private/gui-types.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/private/gui-types.rkt @@ -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%)))]