paragraph

Vocabulary

ui.gadgets.paragraphs

Definition

USING: ui.baseline-alignment ;

IN: ui.gadgets.paragraphs

TUPLE: paragraph < aligned-gadget margin wrapped ;

Methods

USING: accessors sequences ui.baseline-alignment
ui.gadgets.paragraphs ui.gadgets.paragraphs.private ;

M: paragraph baseline*
    cached-wrapped [ f ] [ first baseline>> ] if-empty ;


USING: ui.baseline-alignment ui.gadgets.packs.private
ui.gadgets.paragraphs ;

M: paragraph cap-height* pack-cap-height ;


USING: accessors kernel sequences ui.gadgets
ui.gadgets.paragraphs ui.gadgets.paragraphs.private ;

M: paragraph layout*
    f >>wrapped cached-wrapped dup line-y-coordinates
    [ layout-line ] 2each ;


USING: assocs io.styles kernel sequences splitting
ui.gadgets.panes.private ui.gadgets.paragraphs ;

M: paragraph pane-line
    { presented image-style } pick [ key? ] curry any?
    [ pane-text ] [
        [ split-words ] 2dip [ pane-bl ] [ pane-text ] bi-curry
        bi-curry interleave
    ] if ;


USING: arrays kernel sequences ui.gadgets ui.gadgets.paragraphs
ui.gadgets.paragraphs.private ;

M: paragraph pref-dim*
    cached-wrapped
    [ { 0 0 } ]
    [ [ max-line-width ] [ sum-line-heights ] bi 2array ]
    if-empty ;