From d6b3434cc611d2240483c66c4f8e7b3f326ef93e Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Fri, 31 Oct 2014 11:16:03 -0400 Subject: [PATCH] Fix type for window<%> for TR Closes PR 14812 --- .../typed-racket-more/typed/racket/private/gui-types.rkt | 1 + 1 file changed, 1 insertion(+) 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 afc0cf1d16..b5eb1ed707 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 @@ -600,6 +600,7 @@ [get-x (-> Integer)] [get-y (-> Integer)] [has-focus? (-> Boolean)] + [is-enabled? (-> Boolean)] [is-shown? (-> Boolean)] [on-drop-file (Path -> Void)] [on-focus (Any -> Void)]