如何配置 JupyterLab 的自动保存间隔?
自此问题以来是否有任何进展 - https://github.com/jupyterlab/jupyterlab/issues/5619
您链接的问题现已关闭,因为链接的 PR 实现了一项设置,允许使用设置/设置编辑器/文档管理器中的
autosaveInterval