]> gitweb.factorcode.org Git - factor.git/commit
ui.tools.listener.completion: allow substring search in history. Fixes #133.
authorJohn Benediktsson <mrjbq7@gmail.com>
Sat, 17 Sep 2011 16:04:36 +0000 (09:04 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 17 Sep 2011 16:04:36 +0000 (09:04 -0700)
commit1c3c2e6b1adc4fc9b3c2730910201adb0a033628
tree87a40d910c9526ae1970ed50b82c9fec2a11dc83
parentc5601cd86e09de0b9f7c926d29270bc9452ed022
ui.tools.listener.completion: allow substring search in history. Fixes #133.
basis/ui/tools/listener/completion/completion.factor