jupyterhub-deploy-docker/singleuser/jupyterlab_settings/codemirror-extension/commands.jupyterlab-settings
Michael Pilosov d0b0d2585e settings
2021-11-28 02:38:27 +00:00

15 lines
383 B
Plaintext

{
// CodeMirror
// @jupyterlab/codemirror-extension:commands
// Text editor settings for all CodeMirror editors.
// ************************************************
// Key Map
// Configures the keymap to use
"keyMap": "default",
// Theme
// CSS file defining the corresponding
// .cm-s-[name] styles is loaded
"theme": "solarized dark"
}