#lang scheme

(require "../../mred-plugin.ss"
         "../../default-values.ss"
         scheme/gui/base)

(make-plugin
 [type 'editor-canvas]
 [tooltip "Editor-Canvas"]
 [button-group "Controls"]
 [widget-class editor-canvas%]
 [parent-class container-classes]
 [necessary '(parent)]     ; necessary properties
 [options '()]
 ( ; widget properties
  [editor (prop:code #f)]
  [style (prop:some-of (list 'no-border 'control-border 'combo
                             'no-hscroll 'no-vscroll
                             'hide-hscroll 'hide-vscroll
                             'auto-hscroll 'auto-vscroll
                             'resize-corner 'no-focus 'deleted 
                             'transparent)
                       '())]
  [scrolls-per-page 100]	 
  [label "Editor-Canvas"]
  [wheel-step 3]	 
  [line-count  (prop:false-or-number #f)]	 
  [horizontal-inset 5]	 
  [vertical-inset 5]	 
  [enabled #t]
  [vert-margin  0]
  [horiz-margin 0]
  [min-width  0]
  [min-height 0]
  [stretchable-width  #t]
  [stretchable-height #t]
  )
 )
