Handbook
Glossary
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
;