Make buffer time between last modified on disk and last modified on last save configurable

[gnestor]

Suggested by #484 (comment)

This will look in notebook.json in ~/.jupyter/nbconfig/notebook.json for a last_modified_buffer value. For example:

{
  "Notebook": {
    "Header": false,
    "Toolbar": true
  },
  "Cell": {
    "cm_config": {
      "lineNumbers": false
    }
  },
  "last_modified_buffer": 600
}

Can anyone think of better name than last_modified_buffer?

[takluyver]

I'm trying to think of a better word than 'buffer', because that suggests a temporary storage area for data. Maybe last_modified_check_margin?

Also, I might make the config option in seconds rather than milliseconds; I think we generally try to keep intervals in seconds throughout our API for consistency (cc @minrk )

[takluyver]

Don't forget to update the name in the comment too.

[graphedge]

I have tried "last_modified_buffer": 2 and "last_modified_check_margin": 3, assuming they're in seconds. They both cause all my notebooks to return a 500 error.

I've been trying to avoid the "overwrite?" dialog, which pops up as frequently as every 5 minutes. I'm on Win10 and notebook 5.7.0

[philastrophist]

Adding the line "last_modified_check_margin": 0.5 does nothing for me. This issue is not closed

[ckbhatt]

Is there any plan to have this property configurable in Jupyter lab as well?

[blink1073]

@ckbhatt I opened jupyterlab/jupyterlab#8556 to track the feature in JupyterLab.