#lang scheme
(require "../../mred-plugin.ss"
"../../mred-id.ss"
"../../controller.ss"
"../../default-values.ss"
"preview.ss"
"../project/preview.ss" scheme/gui/base)
(make-plugin
[type 'frame]
[tooltip "Frame"]
[button-group "Containers"]
[widget-class preview-frame%]
[code-gen-class frame%] [parent-class (list frame% project%)] [necessary '(label parent)] [options '(id)]
[no-code '(show-at-init)]
[post-code (λ(mid)(if (send mid get-property-value 'show-at-init)
`(send ,(send mid get-id) show #t)
#f
))]
( [label "Frame"]
[width (prop:false-or-number #f)]
[height (prop:false-or-number #f)]
[x (prop:false-or-number #f)]
[y (prop:false-or-number #f)]
[style (prop:popup
(prop:some-of '(no-resize-border
no-caption no-system-menu hide-menu-bar
mdi-parent mdi-child
toolbar-button float metal)
'()))]
[enabled #t]
[border 0]
[spacing 0]
[alignment (alignment-values)]
[min-width 70]
[min-height 30]
[stretchable-width #t]
[stretchable-height #t]
[show-at-init #t]
))