Rename "Custom Command" to "Shell Command"

The double use of the term "Custom Command" for both shell commands and
user-configured keybindings was confusing.
This commit is contained in:
Stefan Haller 2024-08-06 10:47:43 +02:00
parent 0cbe08b105
commit dbca9306de
22 changed files with 77 additions and 69 deletions

View file

@ -1232,7 +1232,7 @@
"type": "string",
"default": "\u003cc-d\u003e"
},
"executeCustomCommand": {
"executeShellCommand": {
"type": "string",
"default": ":"
},