From 18507fd21b7a7709133d8f3049c683e1abffcda2 Mon Sep 17 00:00:00 2001 From: Vikas Kushwaha Date: Fri, 24 Jan 2025 10:35:59 +0530 Subject: jupyter update --- .../plugin.jupyterlab-settings | 29 ++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 .config/jupyter/lab/user-settings/@jupyterlab/fileeditor-extension/plugin.jupyterlab-settings (limited to '.config/jupyter/lab/user-settings/@jupyterlab/fileeditor-extension/plugin.jupyterlab-settings') 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 -- cgit v1.2.3