jupyterlab / jupyter-collaboration

A Jupyter Server Extension Providing Support for Y Documents
https://jupyterlab-realtime-collaboration.readthedocs.io/en/latest/
Other
140 stars 29 forks source link

Hitting Command(Ctrl) + S on in an RTC notebook results in a "File Changed" dialog #312

Open ibdafna opened 1 month ago

ibdafna commented 1 month ago

See attached gif

rtc-ctrl-s

andypfau commented 1 month ago

Same here. I have a docker container (based on python:bullseye) with only Jupyter Lab (v. 4.2.0) and the jupyter-collaboration extension.

Observations:

One workaround seems to be to add this snippet to /usr/local/share/jupyter/lab/settings/overrides.json (see https://jupyterlab.readthedocs.io/en/latest/user/directories.html#jupyterlab-user-settings-directory), which essentially does the same as "do not ask me again". Users will be forced to rename using the file browser, which at least might be less confusing than seeing an error everytime they want to rename a new document:

{
    "@jupyterlab/docmanager-extension:plugin": {
        "renameUntitledFileOnSave": false
    }
}

However, that is just an ad-hoc workaround. A cleaner solution would be nice :-)