Jupyter text editor does not recognize file changes

[Tim Harsch]

Hi all,

    When two users are editing in the same notebook that the notebook is able to detect changes on the file system so that if user A makes a change then user B will get presented the "Notebook Changed" dialog with "Reload/Cancel/Overwrite" options if he/she attempts to save over the newer notebook.  If this workflow is followed with the plain text editor the editor does not recognize a newer file such that if user B attempts to save then all changes by user A are overwritten.  I'm using jupyter 5.1.0.  Does this sound like a bug, or am I missing some config in my setup?

Thanks,

Tim

[Thomas Kluyver]

There's a pull request, but it got stuck for a while. I forget why. Maybe we need to look at it again:

https://github.com/jupyter/notebook/pull/2783

--
You received this message because you are subscribed to the Google Groups "Project Jupyter" group.
To unsubscribe from this group and stop receiving emails from it, send an email to jupyter+unsubscribe@googlegroups.com.
To post to this group, send email to jup...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/jupyter/b8094d59-35ae-44c4-9db5-0504905cd927%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.