mirror of
https://github.com/jupyter/notebook.git
synced 2025-02-23 12:49:41 +08:00
Increase duration of save messages and write permanent 'failed' message to the save status area on failed save. Not a pop-up as described in #1461, but significantly more prominent, and most importantly permanent when saving fails, at least until the next successful save. Closes #1461. |
||
---|---|---|
docs | ||
IPython | ||
.gitignore | ||
.mailmap | ||
setup.py | ||
setupbase.py |