From be29c556cdbb7f5248cd824f1adbaa1d8dbae283 Mon Sep 17 00:00:00 2001 From: Earl Dean Date: Thu, 12 Nov 2015 12:14:30 -0500 Subject: [PATCH] added missing optional checked aurgument to Checkable-Menu-Item% in gui-types.rkt --- typed-racket-more/typed/racket/private/gui-types.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/typed-racket-more/typed/racket/private/gui-types.rkt b/typed-racket-more/typed/racket/private/gui-types.rkt index 31535fca..196ba899 100644 --- a/typed-racket-more/typed/racket/private/gui-types.rkt +++ b/typed-racket-more/typed/racket/private/gui-types.rkt @@ -1214,6 +1214,7 @@ [demand-callback ((Instance Checkable-Menu-Item%) -> Any) #:optional] + [checked Boolean #:optional] [shortcut-prefix (Listof (U 'alt 'cmd 'meta 'ctl 'shift 'option)) #:optional])