<editor-panel> ( editor -- gadget )

Vocabulary

gml.ui

Inputs

editor

an object

Outputs

gadget

an object

Definition

USING: accessors colors ui.gadgets.labeled ui.gadgets.scrollers
;

IN: gml.ui

: <editor-panel> ( editor -- gadget )
    30 >>min-rows 30 >>max-rows 40 >>min-cols 40 >>max-cols
    <scroller> "Editor" COLOR: dark-gray
    <colored-labeled-gadget> ;