]> gitweb.factorcode.org Git - factor.git/commit
ui.tools.listener: handle history-completion popup differently.
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 6 Nov 2019 20:16:19 +0000 (12:16 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 6 Nov 2019 20:16:19 +0000 (12:16 -0800)
commit17aa52f51ce3df4fa9b96c8342a45df6e5d31637
treea5f7e04fb3aab871529cf96faf225b744af60435
parentaaabe0a1429fb1545c413620b0a75626426e7368
ui.tools.listener: handle history-completion popup differently.
basis/ui/tools/listener/completion/completion.factor
basis/ui/tools/listener/listener.factor