diff options
Diffstat (limited to 'DOCS/man/console.rst')
| -rw-r--r-- | DOCS/man/console.rst | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/DOCS/man/console.rst b/DOCS/man/console.rst index 3bd88bde11..681b7e5da1 100644 --- a/DOCS/man/console.rst +++ b/DOCS/man/console.rst @@ -144,6 +144,11 @@ Configurable Options Set the font size used for the REPL and the console. This will be multiplied by "scale". +``border_size`` + Default: 1 + + Set the font border size used for the REPL and the console. + ``history_dedup`` Default: true |