Fix type for window<%> for TR

Closes PR 14812 original commit: d6b3434cc611d2240483c66c4f8e7b3f326ef93e
2014-10-31 11:16:03 -04:00 · 2014-10-31 11:16:03 -04:00 · decd61de65
commit decd61de65
parent 26345f7e8e
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)]