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

JupyterLab
1

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?

2

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