settings
console/settings
Type: Settings Directory
| Argument | Type | Description |
|---|---|---|
| sanitize-names | bool | replace reserved characters in file and script names with underscores |
| log-script-errors | bool | write background script failures to log |
| tab-width | num | default tab width in fullscreen editor |