#lang scheme
(require "../../mred-plugin.ss"
"../../default-values.ss"
scheme/gui/base)
(make-plugin
[type 'tab]
[tooltip "Tab"]
[button-group "Containers"]
[widget-class
(class vertical-panel%
(init parent)
(init-field label) (super-new [parent
(send parent get-single-panel)])
(send parent add-child-panel this label)
)]
[parent-class tab-panel%]
[necessary '(parent)] [options '(id)]
( [label "Tab"]
[style (prop:some-of '(border deleted) '())]
[enabled #t]
[vert-margin 0]
[horiz-margin 0]
[border 0]
[spacing 0]
[alignment (alignment-values 'left 'center)]
[min-width 0]
[min-height 0]
[stretchable-width #t]
[stretchable-height #t]
))