field

Vocabulary

ui.gadgets.editors

Definition

USING: ui.gadgets.borders ;

IN: ui.gadgets.editors

TUPLE: field < border editor min-cols max-cols ;

Methods

USING: accessors arrays kernel sequences ui.gadgets
ui.gadgets.borders ui.gadgets.editors ui.gadgets.line-support ;

M: field pref-dim*
    [ ] [ editor>> pref-dim ]
    [ [ line-gadget-width ] [ drop second ] 2bi 2array ] tri
    border-pref-dim ;