suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

added missing optional checked aurgument to Checkable-Menu-Item% in gui-types.rkt

Browse Source
This commit is contained in:
Earl Dean 2015-11-12 12:14:30 -05:00
parent bcd5fe531d
commit be29c556cd
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
typed-racket-more/typed/racket/private/gui-types.rkt
View File

@ -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])