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

Merged

takluyver merged 3 commits intojupyter:masterfrom gnestor:issue-484

Feb 5, 2018

+3-1

Commits on Jan 28, 2018

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

Commits on Jan 29, 2018

Change config value name and use seconds vs. milliseconds
gnestor
committed

Commits on Feb 5, 2018

Fix name of config option in comment
takluyver
authored