]> gitweb.factorcode.org Git - factor.git/commit
tools.completion: adding EDITOR: tab completion
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 5 Apr 2023 22:33:56 +0000 (15:33 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 5 Apr 2023 22:33:56 +0000 (15:33 -0700)
commita6a311afcf67cb1922d9a383d8333924b50f1c7c
tree2546c74c5c082804da65897066cecaacfa5d2ddb
parenta937766d2f1c0866fbe8433f3a121f346c8a33ca
tools.completion: adding EDITOR: tab completion
basis/tools/completion/completion.factor
basis/ui/tools/listener/completion/completion.factor
extra/readline-listener/readline-listener.factor