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?