How do I override settings using my extension's schemaDir file?

I added a jupyterlab.schemaDir to my extension’s package.json. I am able to add shortcuts using the jupyter.lab.shortcuts property, so I am sure that my json file is getting picked up by JupyterLab. However, I am unable to change other properties. Specifically, I want to set recordTiming to true. recordTiming is defined in Settings > Advanced Settings Editor > Notebook.

Does anyone have any guidance on how to do this or even if it is possible to change this setting?

You can’t change another extension’s settings from your extension. What you can do is override that plugin’s default settings at the system level with the overrides.json file: Advanced Usage — JupyterLab 3.0.12 documentation

1 Like