mirror of
https://github.com/davidhalter/jedi.git
synced 2026-10-14 23:28:56 +08:00
hit tab once in readline instead of twice
This commit is contained in:
1 parent
1ce4babe36
commit
2097eca646
1 file changed
+3
@@ -82,5 +82,8 @@ def setup_readline(namespace_module=__main__):
|
||||
readline.parse_and_bind("tab: complete")
|
||||
# jedi itself does the case matching
|
||||
readline.parse_and_bind("set completion-ignore-case on")
|
||||
# because it's easier to hit the tab just once
|
||||
readline.parse_and_bind("set show-all-if-unmodified")
|
||||
readline.parse_and_bind("set show-all-if-ambiguous on")
|
||||
# No delimiters, Jedi handles that.
|
||||
readline.set_completer_delims('')
|
||||
Reference in new issue
Block a user