Add 'xterm' option

Ref #1489
This commit is contained in:
Zachary Yedidia
2020-02-15 12:53:17 -05:00
parent db32b84cd1
commit 087e7207f7
3 changed files with 19 additions and 0 deletions

View File

@@ -296,6 +296,13 @@ Here are the available options:
default value: `true`
* `xterm`: micro will assume that the terminal it is running in conforms to
`xterm-256color` regardless of what the `$TERM` variable actually contains.
Enabling this option may cause unwanted effects if your terminal in fact
does not conform to the `xterm-256color` standard.
Default value: `false`
---
Plugin options: all plugins come with a special option to enable or disable