##// END OF EJS Templates
Let keyboard interrupt stop custom dispatch of completer....
Matthias Bussonnier -
Show More
@@ -1715,6 +1715,12 b' class IPCompleter(Completer):'
1715 return [r for r in res if r.lower().startswith(text_low)]
1715 return [r for r in res if r.lower().startswith(text_low)]
1716 except TryNext:
1716 except TryNext:
1717 pass
1717 pass
1718 except KeyboardInterrupt:
1719 """
1720 If custom completer take too long,
1721 let keyboard interrupt abort and return nothing.
1722 """
1723 break
1718
1724
1719 return None
1725 return None
1720
1726
General Comments 0
You need to be logged in to leave comments. Login now