update-document ( history -- )

Vocabulary

ui.tools.listener.history.private

Inputs

history

an object

Outputs

None

Definition

USING: accessors documents kernel ;

IN: ui.tools.listener.history.private

: update-document ( history -- )
    [ get-element string>> ] [ document>> ] bi
    [ set-doc-string ] [ clear-undo ] bi ;