prefixed-editors ( prefix -- editors )

Vocabulary

readline-listener.private

Inputs

prefix

an object

Outputs

editors

an object

Definition

USING: editors ;

IN: readline-listener.private

: prefixed-editors ( prefix -- editors )
    available-editors prefixed ;