mirror of
https://github.com/zyedidia/micro.git
synced 2026-03-25 18:07:07 +09:00
Merge pull request #3760 from Neko-Box-Coder/MoreCharOptions
Adding indenttabchar, indentspacechar and spacechar options
This commit is contained in:
@@ -72,7 +72,7 @@ var defaultCommonSettings = map[string]any{
|
||||
"hltrailingws": false,
|
||||
"ignorecase": true,
|
||||
"incsearch": true,
|
||||
"indentchar": " ",
|
||||
"indentchar": " ", // Deprecated
|
||||
"keepautoindent": false,
|
||||
"matchbrace": true,
|
||||
"matchbraceleft": true,
|
||||
@@ -90,6 +90,7 @@ var defaultCommonSettings = map[string]any{
|
||||
"scrollbar": false,
|
||||
"scrollmargin": float64(3),
|
||||
"scrollspeed": float64(2),
|
||||
"showchars": "",
|
||||
"smartpaste": true,
|
||||
"softwrap": false,
|
||||
"splitbottom": true,
|
||||
@@ -214,6 +215,7 @@ func validateParsedSettings() error {
|
||||
}
|
||||
continue
|
||||
}
|
||||
|
||||
if _, ok := defaults[k]; ok {
|
||||
if e := verifySetting(k, v, defaults[k]); e != nil {
|
||||
err = e
|
||||
|
||||
Reference in New Issue
Block a user