|
@@ -51,6 +51,12 @@
|
|
|
"$ref": "#/definitions/theme",
|
|
|
"default": "inherit"
|
|
|
},
|
|
|
+ "screenReaderMode": {
|
|
|
+ "title": "Screen Reader Mode",
|
|
|
+ "description": "Add accessibility elements for use with screen readers.",
|
|
|
+ "type": "boolean",
|
|
|
+ "default": false
|
|
|
+ },
|
|
|
"scrollback": {
|
|
|
"title": "Scrollback Buffer",
|
|
|
"description": "The amount of scrollback beyond initial viewport",
|
|
@@ -59,13 +65,13 @@
|
|
|
},
|
|
|
"shutdownOnClose": {
|
|
|
"title": "Shut down on close",
|
|
|
- "description": "Whether to shut down or not the session when closing the terminal.",
|
|
|
+ "description": "Shut down the session when closing the terminal.",
|
|
|
"type": "boolean",
|
|
|
"default": false
|
|
|
},
|
|
|
"pasteWithCtrlV": {
|
|
|
"title": "Paste with Ctrl+V",
|
|
|
- "description": "Whether to enable pasting with Ctrl+V. This can be disabled to use Ctrl+V in the vi editor, for instance. This setting has no effect on macOS, where Cmd+V is available",
|
|
|
+ "description": "Enable pasting with Ctrl+V. This can be disabled to use Ctrl+V in the vi editor, for instance. This setting has no effect on macOS, where Cmd+V is available",
|
|
|
"type": "boolean",
|
|
|
"default": true
|
|
|
}
|