##// END OF EJS Templates
Merge pull request #10797 from Carreau/no-custom-completer-crash...
Thomas Kluyver -
r23923:34223a77 merge
parent child Browse files
Show More
@@ -1729,6 +1729,12 b' class IPCompleter(Completer):'
1729 return [r for r in res if r.lower().startswith(text_low)]
1729 return [r for r in res if r.lower().startswith(text_low)]
1730 except TryNext:
1730 except TryNext:
1731 pass
1731 pass
1732 except KeyboardInterrupt:
1733 """
1734 If custom completer take too long,
1735 let keyboard interrupt abort and return nothing.
1736 """
1737 break
1732
1738
1733 return None
1739 return None
1734
1740
General Comments 0
You need to be logged in to leave comments. Login now