| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155 |
- {
- "title": "Theme",
- "jupyter.lab.setting-icon-label": "Theme Manager",
- "jupyter.lab.menus": {
- "main": [
- {
- "id": "jp-mainmenu-settings",
- "items": [
- {
- "type": "submenu",
- "submenu": {
- "id": "jp-mainmenu-settings-apputilstheme",
- "label": "Theme",
- "items": [
- { "type": "separator" },
- {
- "command": "apputils:adaptive-theme"
- },
- { "type": "separator" },
- {
- "command": "apputils:theme-scrollbars"
- },
- { "type": "separator" },
- {
- "command": "apputils:incr-font-size",
- "args": {
- "key": "code-font-size"
- }
- },
- {
- "command": "apputils:decr-font-size",
- "args": {
- "key": "code-font-size"
- }
- },
- { "type": "separator" },
- {
- "command": "apputils:incr-font-size",
- "args": {
- "key": "content-font-size1"
- }
- },
- {
- "command": "apputils:decr-font-size",
- "args": {
- "key": "content-font-size1"
- }
- },
- { "type": "separator" },
- {
- "command": "apputils:incr-font-size",
- "args": {
- "key": "ui-font-size1"
- }
- },
- {
- "command": "apputils:decr-font-size",
- "args": {
- "key": "ui-font-size1"
- }
- }
- ]
- },
- "rank": 0
- }
- ]
- }
- ]
- },
- "description": "Theme manager settings.",
- "type": "object",
- "additionalProperties": false,
- "definitions": {
- "cssOverrides": {
- "type": "object",
- "additionalProperties": false,
- "description": "CSS override properties for theming",
- "properties": {
- "code-font-family": {
- "type": ["string", "null"],
- "description": "Font family used for code"
- },
- "code-font-size": {
- "type": ["string", "null"],
- "description": "Font size used for code"
- },
- "content-font-family": {
- "type": ["string", "null"],
- "description": "Font family used for content"
- },
- "content-font-size1": {
- "type": ["string", "null"],
- "description": "Font size used for content"
- },
- "ui-font-family": {
- "type": ["string", "null"],
- "description": "Font family used for the UI"
- },
- "ui-font-size1": {
- "type": ["string", "null"],
- "description": "Font size used for the UI"
- }
- }
- }
- },
- "properties": {
- "theme": {
- "type": "string",
- "title": "Selected Theme",
- "description": "Application-level visual styling theme. Ignored when Adaptive Theme is enabled.",
- "default": "JupyterLab Light"
- },
- "adaptive-theme": {
- "type": "boolean",
- "title": "Adaptive Theme",
- "description": "Synchronize visual styling theme with system settings",
- "default": false
- },
- "preferred-light-theme": {
- "type": "string",
- "title": "Preferred Light Theme",
- "description": "Application-level light visual styling theme. Ignored when Adaptive Theme is disabled.",
- "default": "JupyterLab Light"
- },
- "preferred-dark-theme": {
- "type": "string",
- "title": "Preferred Dark Theme",
- "description": "Application-level dark visual styling theme. Ignored when Adaptive Theme is disabled.",
- "default": "JupyterLab Dark"
- },
- "theme-scrollbars": {
- "type": "boolean",
- "title": "Scrollbar Theming",
- "description": "Enable/disable styling of the application scrollbars",
- "default": false
- },
- "overrides": {
- "title": "Theme CSS Overrides",
- "description": "Override theme CSS variables by setting key-value pairs here",
- "$ref": "#/definitions/cssOverrides",
- "default": {
- "code-font-family": null,
- "code-font-size": null,
- "content-font-family": null,
- "content-font-size1": null,
- "ui-font-family": null,
- "ui-font-size1": null
- }
- }
- }
- }
|