* `ignorecase`: perform case-insensitive searches.
- default value: `false`
+ default value: `true`
* `indentchar`: sets the indentation character.
By default, this option points to the official plugin channel hosted on GitHub
at https://github.com/micro-editor/plugin-channel.
- default value: `https://raw.githubusercontent.com/micro-editor/plugin-channel
- /master/channel.json`
+ default value: `https://raw.githubusercontent.com/micro-editor/plugin-channel/master/channel.json`
* `pluginrepos`: a list of links to plugin repositories.
"tabmovement": false,
"tabsize": 4,
"tabstospaces": false,
- "test": true,
"useprimary": true,
"xterm": false
}