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?