Backport PR #12045: Polish settings editor (#12061)

Co-authored-by: Michał Krassowski <5832902+krassowski@users.noreply.github.com>
jupyterlab · Feb 16, 2022 · cbdf4b0 · cbdf4b0
1 parent 6cfaae9
commit cbdf4b0
Show file tree

Hide file tree

Showing 5 changed files with 247 additions and 85 deletions.
diff --git a/packages/codemirror-extension/schema/commands.json b/packages/codemirror-extension/schema/commands.json
@@ -207,24 +207,32 @@
         }
       ],
       "title": "Style Active Line",
-      "description": "Value is boolean, or { nonEmpty: boolean }",
+      "description": "Highlight active line. Value is boolean, or { nonEmpty: boolean }.",
       "default": false
     },
     "styleSelectedText": {
       "type": "boolean",
       "title": "Style Selected Text",
-      "description": "Value is boolean",
       "default": true
     },
     "selectionPointer": {
-      "oneOf": [{ "type": "boolean" }, { "type": "string" }],
+      "oneOf": [
+        {
+          "type": "boolean",
+          "title": "Use default"
+        },
+        {
+          "type": "string",
+          "title": "Cursor pointer name"
+        }
+      ],
       "title": "Selection Pointer",
-      "description": "Value is boolean or string, e.g. 'pointer'",
+      "description": "Control the mouse cursor appearance when hovering over the selection. Value is boolean or string, e.g. 'pointer'.",
       "default": false
     },
     "lineWiseCopyCut": {
       "type": ["boolean"],
-      "title": "Ctrl-C",
+      "title": "Line-wise Ctrl-C",
       "description": "When enabled, which is the default, doing copy or cut when there is no selection will copy or cut the whole lines that have cursors on them.",
       "default": true
     }

diff --git a/packages/console-extension/schema/tracker.json b/packages/console-extension/schema/tracker.json
@@ -105,7 +105,7 @@
         },
         "cursorBlinkRate": {
           "type": "number",
-          "title": "Cursor blinking rate",
+          "title": "Cursor Blinking Rate",
           "description": "Half-period in milliseconds used for cursor blinking. The default blink rate is 530ms. By setting this to zero, blinking can be disabled. A negative value hides the cursor entirely."
         },
         "fontFamily": {
@@ -124,7 +124,7 @@
         },
         "lineNumbers": {
           "type": "boolean",
-          "title": "Line Numbers"
+          "title": "Show Line Numbers"
         },
         "lineWrap": {
           "type": "string",
@@ -133,7 +133,7 @@
         },
         "matchBrackets": {
           "type": "boolean",
-          "title": "match"
+          "title": "Match Brackets"
         },
         "readOnly": {
           "type": "boolean",
@@ -163,7 +163,9 @@
           "title": "Code Folding"
         },
         "lineWiseCopyCut": {
-          "type": "boolean"
+          "type": "boolean",
+          "title": "Line-wise Ctrl-C",
+          "description": "When enabled, which is the default, doing copy or cut when there is no selection will copy or cut the whole lines that have cursors on them."
         }
       },
       "additionalProperties": false,

diff --git a/packages/notebook-extension/schema/tracker.json b/packages/notebook-extension/schema/tracker.json
@@ -611,73 +611,89 @@
       "properties": {
         "autoClosingBrackets": {
           "type": "boolean",
-          "default": false
+          "default": false,
+          "title": "Auto Closing Brackets"
         },
         "cursorBlinkRate": {
           "type": "number",
-          "title": "Cursor blinking rate",
+          "title": "Cursor Blinking Rate",
           "description": "Half-period in milliseconds used for cursor blinking. The default blink rate is 530ms. By setting this to zero, blinking can be disabled. A negative value hides the cursor entirely.",
           "default": 530
         },
         "fontFamily": {
           "type": ["string", "null"],
-          "default": null
+          "default": null,
+          "title": "Font Family"
         },
         "fontSize": {
           "type": ["integer", "null"],
           "minimum": 1,
           "maximum": 100,
-          "default": null
+          "default": null,
+          "title": "Font Size"
         },
         "lineHeight": {
           "type": ["number", "null"],
-          "default": null
+          "default": null,
+          "title": "Line Height"
         },
         "lineNumbers": {
           "type": "boolean",
-          "default": false
+          "default": false,
+          "title": "Show Line Numbers"
         },
         "lineWrap": {
           "type": "string",
-          "enum": ["off", "on", "wordWrapColumn", "bounded"]
+          "enum": ["off", "on", "wordWrapColumn", "bounded"],
+          "title": "Line Wrap"
         },
         "matchBrackets": {
-          "type": "boolean"
+          "type": "boolean",
+          "title": "Match Brackets"
         },
         "readOnly": {
           "type": "boolean",
-          "default": false
+          "default": false,
+          "title": "Read Only"
         },
         "insertSpaces": {
           "type": "boolean",
-          "default": true
+          "default": true,
+          "title": "Insert Spaces"
         },
         "tabSize": {
           "type": "number",
-          "default": 4
+          "default": 4,
+          "title": "Tab Size"
         },
         "wordWrapColumn": {
           "type": "integer",
-          "default": 80
+          "default": 80,
+          "title": "Word Wrap Column"
         },
         "rulers": {
           "type": "array",
           "items": {
             "type": "number"
           },
+          "title": "Rulers",
           "default": []
         },
         "codeFolding": {
           "type": "boolean",
-          "default": false
+          "default": false,
+          "title": "Code Folding"
         },
         "lineWiseCopyCut": {
           "type": "boolean",
-          "default": true
+          "default": true,
+          "title": "Line-wise Ctrl-C",
+          "description": "When enabled, which is the default, doing copy or cut when there is no selection will copy or cut the whole lines that have cursors on them."
         },
         "showTrailingSpace": {
           "type": "boolean",
-          "default": false
+          "default": false,
+          "title": "Show Trailing Space"
         }
       },
       "additionalProperties": false,
@@ -814,8 +830,8 @@
       "default": "1000px"
     },
     "maxNumberOutputs": {
-      "title": "The maximum number of output cells to be rendered in the output area. Set to 0 to have the complete display.",
-      "description": "Defines the maximum number of output cells to be rendered in the output area for cells with many outputs. The output area will have a head and the remaining outputs will be trimmed and not displayed unless the user clicks on the information message.",
+      "title": "The maximum number of output cells to be rendered in the output area.",
+      "description": "Defines the maximum number of output cells to be rendered in the output area for cells with many outputs. The output area will have a head and the remaining outputs will be trimmed and not displayed unless the user clicks on the information message. Set to 0 to have the complete display.",
       "type": "number",
       "default": 50
     },