Handbook
Glossary
prefixed-editors ( prefix -- editors )
Vocabulary
readline-listener
.
private
Inputs
prefix
an
object
Outputs
editors
an
object
Definition
USING:
editors
kernel
sequences
splitting
;
IN:
readline-listener.private
:
prefixed-editors
( prefix -- editors )
available-editors
[
"editors."
?head
drop
]
map
prefixed
;