widgets/tab/widget.ss
#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) ; should be code-writable ??!!
    (super-new [parent 
                (send parent get-single-panel)])
    (send parent add-child-panel this label)
    )]
 [parent-class tab-panel%]
 [necessary '(parent)]     ; necessary properties
 [options '(id)]
 ( ; widget properties
  [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]
  ))