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

Add missing types for Frame%

Browse Source
This commit is contained in:
Asumu Takikawa 2015-02-23 17:19:16 -05:00
parent 78fc0f19e7
commit 8931accc7c
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -822,7 +822,8 @@
[y (Option Integer) #:optional]
[style (Listof (U 'no-resize-border 'no-caption
'no-system-menu 'hide-menu-bar
'toolbar-button 'float 'metal))
'toolbar-button 'float 'metal
'fullscreen-button 'fullscreen-aux))
#:optional]
[enabled Any #:optional]
[border Natural #:optional]
@ -835,9 +836,11 @@
[stretchable-width Any #:optional]
[stretchable-height Any #:optional])
[create-status-line (-> Void)]
[fullscreen (-> Any Void)]
[get-menu-bar (-> (Option (Instance Menu-Bar%)))]
[has-status-line? (-> Boolean)]
[iconize (Any -> Void)]
[is-fullscreened? (-> Boolean)]
[is-iconized? (-> Boolean)]
[is-maximized? (-> Boolean)]
[maximize (Any -> Void)]