settings_ui: Add terminal settings (#39874)

Closes #ISSUE Release Notes: - N/A *or* Added/Fixed/Improved ...
2025-10-09 10:59:08 -04:00
parent c58931ac04
commit c543709d5f
7 changed files with 582 additions and 18 deletions
@@ -1404,8 +1404,8 @@
    //  4. A box drawn around the following character
    //     "hollow"
    //
-    // Default: not set, defaults to "block"
-    "cursor_shape": null,
+    // Default: "block"
+    "cursor_shape": "block",
    // Set whether Alternate Scroll mode (code: ?1007) is active by default.
    // Alternate Scroll mode converts mouse scroll events into up / down key
    // presses when in the alternate screen (e.g. when running applications