##// END OF EJS Templates
Fix tab-completion crash when no results were returned.
Fernando Perez -
Show More
@@ -695,13 +695,14 b' class IPCompleter(Completer):'
695 #print "try",c # dbg
695 #print "try",c # dbg
696 try:
696 try:
697 res = c(event)
697 res = c(event)
698 # first, try case sensitive match
698 if res:
699 withcase = [r for r in res if r.startswith(text)]
699 # first, try case sensitive match
700 if withcase:
700 withcase = [r for r in res if r.startswith(text)]
701 return withcase
701 if withcase:
702 # if none, then case insensitive ones are ok too
702 return withcase
703 text_low = text.lower()
703 # if none, then case insensitive ones are ok too
704 return [r for r in res if r.lower().startswith(text_low)]
704 text_low = text.lower()
705 return [r for r in res if r.lower().startswith(text_low)]
705 except TryNext:
706 except TryNext:
706 pass
707 pass
707
708
General Comments 0
You need to be logged in to leave comments. Login now