##// END OF EJS Templates
Backport PR #8190: update description of sticky tooltip...
Backport PR #8190: update description of sticky tooltip > Tooltip will linger for 10 seconds while you type closes #7940 For 4.0, I think we should remove this state altogether.

File last commit:

r14009:6f019b30
r21019:926090af
Show More
__main__.py
3 lines | 105 B | text/x-python | PythonLexer
if __name__ == '__main__':
from IPython.html import notebookapp as app
app.launch_new_instance()