Llama-3.1-8B-DALv0.1
/
venv
/lib
/python3.12
/site-packages
/jupyterlab
/schemas
/@jupyterlab
/fileeditor-extension
/plugin.json
{ | |
"title": "Text Editor", | |
"description": "Text editor settings.", | |
"jupyter.lab.setting-icon": "ui-components:text-editor", | |
"jupyter.lab.setting-icon-label": "Editor", | |
"jupyter.lab.menus": { | |
"main": [ | |
{ | |
"id": "jp-mainmenu-file", | |
"items": [ | |
{ | |
"type": "submenu", | |
"submenu": { | |
"id": "jp-mainmenu-file-new", | |
"items": [ | |
{ | |
"command": "fileeditor:create-new", | |
"rank": 30 | |
}, | |
{ | |
"command": "fileeditor:create-new-markdown-file", | |
"rank": 30 | |
} | |
] | |
} | |
} | |
] | |
}, | |
{ | |
"id": "jp-mainmenu-view", | |
"items": [ | |
{ | |
"type": "separator", | |
"rank": 40 | |
}, | |
{ | |
"type": "submenu", | |
"submenu": { | |
"id": "jp-mainmenu-view-codemirror-language", | |
"label": "Text Editor Syntax Highlighting" | |
}, | |
"rank": 40 | |
}, | |
{ | |
"type": "separator", | |
"rank": 40 | |
} | |
] | |
}, | |
{ | |
"id": "jp-mainmenu-settings", | |
"items": [ | |
{ | |
"type": "separator", | |
"rank": 30 | |
}, | |
{ | |
"type": "submenu", | |
"submenu": { | |
"id": "jp-mainmenu-settings-fileeditorindent", | |
"label": "Text Editor Indentation", | |
"items": [ | |
{ | |
"command": "fileeditor:change-tabs" | |
}, | |
{ | |
"command": "fileeditor:change-tabs", | |
"args": { | |
"size": "1" | |
} | |
}, | |
{ | |
"command": "fileeditor:change-tabs", | |
"args": { | |
"size": "2" | |
} | |
}, | |
{ | |
"command": "fileeditor:change-tabs", | |
"args": { | |
"size": "4" | |
} | |
}, | |
{ | |
"command": "fileeditor:change-tabs", | |
"args": { | |
"size": "8" | |
} | |
} | |
] | |
}, | |
"rank": 30 | |
}, | |
{ | |
"command": "fileeditor:toggle-autoclosing-brackets-universal", | |
"rank": 30 | |
}, | |
{ | |
"command": "fileeditor:change-font-size", | |
"rank": 30, | |
"args": { | |
"delta": 1, | |
"isMenu": true | |
} | |
}, | |
{ | |
"command": "fileeditor:change-font-size", | |
"rank": 30, | |
"args": { | |
"delta": -1, | |
"isMenu": true | |
} | |
}, | |
{ | |
"type": "submenu", | |
"submenu": { | |
"id": "jp-mainmenu-settings-codemirror-theme", | |
"label": "Text Editor Theme", | |
"items": [] | |
}, | |
"rank": 31 | |
}, | |
{ | |
"type": "separator", | |
"rank": 39 | |
} | |
] | |
} | |
], | |
"context": [ | |
{ | |
"command": "fileeditor:undo", | |
"selector": ".jp-FileEditor", | |
"rank": 1 | |
}, | |
{ | |
"command": "fileeditor:redo", | |
"selector": ".jp-FileEditor", | |
"rank": 2 | |
}, | |
{ | |
"command": "fileeditor:cut", | |
"selector": ".jp-FileEditor", | |
"rank": 3 | |
}, | |
{ | |
"command": "fileeditor:copy", | |
"selector": ".jp-FileEditor", | |
"rank": 4 | |
}, | |
{ | |
"command": "fileeditor:paste", | |
"selector": ".jp-FileEditor", | |
"rank": 5 | |
}, | |
{ | |
"command": "fileeditor:select-all", | |
"selector": ".jp-FileEditor", | |
"rank": 6 | |
}, | |
{ | |
"command": "fileeditor:create-console", | |
"selector": ".jp-FileEditor", | |
"rank": 10 | |
}, | |
{ | |
"command": "fileeditor:markdown-preview", | |
"selector": ".jp-FileEditor", | |
"rank": 11 | |
} | |
] | |
}, | |
"jupyter.lab.toolbars": { | |
"Editor": [] | |
}, | |
"jupyter.lab.transform": true, | |
"properties": { | |
"editorConfig": { | |
"title": "Editor Configuration", | |
"description": "The configuration for all text editors; it will override the CodeMirror default configuration.\nIf `fontFamily`, `fontSize` or `lineHeight` are `null`,\nvalues from current theme are used.", | |
"type": "object", | |
"default": { | |
"lineNumbers": true | |
} | |
}, | |
"scrollPastEnd": { | |
"title": "Scroll behavior", | |
"description": "Whether to scroll past the end of text document.", | |
"type": "boolean", | |
"default": true | |
}, | |
"toolbar": { | |
"title": "Text editor toolbar items", | |
"description": "Note: To disable a toolbar item,\ncopy it to User Preferences and add the\n\"disabled\" key. Toolbar description:", | |
"items": { | |
"$ref": "#/definitions/toolbarItem" | |
}, | |
"type": "array", | |
"default": [] | |
} | |
}, | |
"additionalProperties": false, | |
"type": "object", | |
"definitions": { | |
"toolbarItem": { | |
"properties": { | |
"name": { | |
"title": "Unique name", | |
"type": "string" | |
}, | |
"args": { | |
"title": "Command arguments", | |
"type": "object" | |
}, | |
"command": { | |
"title": "Command id", | |
"type": "string", | |
"default": "" | |
}, | |
"disabled": { | |
"title": "Whether the item is ignored or not", | |
"type": "boolean", | |
"default": false | |
}, | |
"icon": { | |
"title": "Item icon id", | |
"description": "If defined, it will override the command icon", | |
"type": "string" | |
}, | |
"label": { | |
"title": "Item label", | |
"description": "If defined, it will override the command label", | |
"type": "string" | |
}, | |
"caption": { | |
"title": "Item caption", | |
"description": "If defined, it will override the command caption", | |
"type": "string" | |
}, | |
"type": { | |
"title": "Item type", | |
"type": "string", | |
"enum": ["command", "spacer"] | |
}, | |
"rank": { | |
"title": "Item rank", | |
"type": "number", | |
"minimum": 0, | |
"default": 50 | |
} | |
}, | |
"required": ["name"], | |
"additionalProperties": false, | |
"type": "object" | |
} | |
} | |
} | |