##// END OF EJS Templates
don’t trigger call tips with no shell channel...
don’t trigger call tips with no shell channel can raise RuntimeError during shutdown
MinRK -
r16969:2223e7ff
Show More
Name Size Modified Last Commit Author
/ IPython / html / static / auth / js
loginmain.js Loading ...
loginwidget.js Loading ...
logoutmain.js Loading ...