]> gitweb.factorcode.org Git - factor.git/commit
ui.tools.listener.completion: fix completion for P".
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 2 Jan 2022 17:21:57 +0000 (09:21 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 2 Jan 2022 17:21:57 +0000 (09:21 -0800)
commit8f3904dcd91f41dc149038435b04fb517a0fe882
tree8cf9dacdc3f1ad6e7d35154b3913d8623850d551
parent9d9090e0defda94c508e841fdb34636afedb98f8
ui.tools.listener.completion: fix completion for P".
basis/ui/tools/listener/completion/completion.factor