##// 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 / notebook
css
js
less