Name | JSON Type | Default | Description |
|---|---|---|---|
“codefont” | string | “Consolas” | Font used in the Script Editor. This should be a monospaced font (e.g. "Cascadia Code") |
“codefontsize” | number | 10 | Initial font size used in the Script Editor. |
“tabsize” | number | 4 | Size of a TAB character, in spaces. |
“indent.size” | number | 4 | Size of an indentation, in spaces. |
“view.whitespace” | number (0,1) | 0 | Defines whether to display special characters for whitespace characters TAB/space in the Script Editor. |
“use.tabs” | number (0,1) | 1 | Defines whether to use TABs. When set to 0, any TAB character entered via a keyboard gets automatically replaced by tabsize spaces. |