#lang scheme/base
(require "../../mred-plugin.ss"
"../../default-values.ss"
scheme/gui/base)
(make-plugin
[type 'check-box]
[tooltip "Check Box"]
[button-group "Controls"]
[widget-class check-box%]
[parent-class container-classes]
[necessary '(label parent callback)] [options '(callback)]
( [label (label-bitmap-values "Ckeck Box")]
[callback (prop:code (lambda (button control-event) (void)))]
[style (prop:some-of '(deleted) '())]
[value #t]
[font (font-values)]
[enabled #t]
[vert-margin 2]
[horiz-margin 2]
[min-width 0]
[min-height 0]
[stretchable-width #f]
[stretchable-height #f]
))