fix a problem in readline completion with upper/lower cases

2013-08-17 19:17:07 +04:30
parent e46d33be90
commit 1ce4babe36
2 changed files with 6 additions and 0 deletions
--- a/jedi/utils.py
+++ b/jedi/utils.py
@@ -80,5 +80,7 @@ def setup_readline(namespace_module=__main__):
    else:
        readline.set_completer(JediRL().complete)
        readline.parse_and_bind("tab: complete")
+        # jedi itself does the case matching
+        readline.parse_and_bind("set completion-ignore-case on")
        # No delimiters, Jedi handles that.
        readline.set_completer_delims('')