##// 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 1715 return [r for r in res if r.lower().startswith(text_low)]
1716 1716 except TryNext:
1717 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 1725 return None
1720 1726
General Comments 0
You need to be logged in to leave comments. Login now