.dotfiles/jupyter/.jupyter/lab/user-settings/@jupyterlab/codemirror-extension/commands.jupyterlab-settings
2024-05-27 17:58:49 -04:00

11 lines
No EOL
299 B
Text

{
// CodeMirror
// @jupyterlab/codemirror-extension:commands
// Text editor settings for all CodeMirror editors.
// ************************************************
// Theme
// CSS file defining the corresponding
// .cm-s-[name] styles is loaded
"theme": "jupyter"
}