jupyter update

1 files changed, 29 insertions, 0 deletions

diff --git a/.config/jupyter/lab/user-settings/@jupyterlab/fileeditor-extension/plugin.jupyterlab-settings b/.config/jupyter/lab/user-settings/@jupyterlab/fileeditor-extension/plugin.jupyterlab-settings
new file mode 100644
index 0000000..056fe62
--- /dev/null
+++ b/.config/jupyter/lab/user-settings/@jupyterlab/fileeditor-extension/plugin.jupyterlab-settings
@@ -0,0 +1,29 @@
+{
+    // Text Editor
+    // @jupyterlab/fileeditor-extension:plugin
+    // Text editor settings.
+    // ***************************************
+
+    // Editor Configuration
+    // The configuration for all text editors; it will override the CodeMirror default configuration.
+    // If `fontFamily`, `fontSize` or `lineHeight` are `null`,
+    // values from current theme are used.
+    "editorConfig": {
+        "customStyles": {
+            "fontFamily": null,
+            "fontSize": 16,
+            "lineHeight": null
+        },
+        "theme": "jupyter"
+    },
+
+    // Scroll behavior
+    // Whether to scroll past the end of text document.
+    "scrollPastEnd": true,
+
+    // Text editor toolbar items
+    // Note: To disable a toolbar item,
+    // copy it to User Preferences and add the
+    // "disabled" key. Toolbar description:
+    "toolbar": []
+}
\ No newline at end of file