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 On 1 December 2017 at 19:32, Tim Harsch <[email protected]> wrote: > 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 > > -- > 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 [email protected]. > To post to this group, send email to [email protected]. > To view this discussion on the web visit https://groups.google.com/d/ > msgid/jupyter/b8094d59-35ae-44c4-9db5-0504905cd927%40googlegroups.com > <https://groups.google.com/d/msgid/jupyter/b8094d59-35ae-44c4-9db5-0504905cd927%40googlegroups.com?utm_medium=email&utm_source=footer> > . > For more options, visit https://groups.google.com/d/optout. > -- 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 [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jupyter/CAOvn4qjFKhfxwemkXjPEBnUwjaV7RUbAqSbyjPqqY%2BL2uC1sJQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
