join-with-prev ( document line -- )

Vocabulary

ui.gadgets.editors.private

Inputs

document	an object
line	an object

Outputs

None

Definition

USING: documents kernel ;

IN: ui.gadgets.editors.private

: join-with-prev ( document line -- )
    [ prev-line-and-this ] [ drop ] 2bi
    [ join-lines ] change-doc-range ;