Fix type for window<%> for TR

Closes PR 14812
2014-10-31 11:16:03 -04:00 · 2014-10-31 11:16:03 -04:00 · d6b3434cc6
commit d6b3434cc6
parent b7eeaf7608
1 changed files with 1 additions and 0 deletions
--- 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)]