After every code workspace pause/resume, I need to re-configure my keyboard shortcuts.
The following setting looks promising:
But in reality, it does not seem to work. Is it possible to keep the custom settings after the workspace restart?
I have also tried the settings export button, but it does not function - no reaction after clicking.
Hi there!
Could you navigate to your user settings logs and check if anything looks off? You can do this by navigating to the “Active” button on the top right of the UI, selecting “View utilization and logs”, and filtering to origin=user-settings.log ?
We do have a whitelist of plugins we persist settings for, so if you are adding plugins into JupyterLab, we will not persist those settings. The reason you’re unable to export is likely because the stack has downloads disabled for security.
Let me know if you have any questions!
Kunal
