Update micro.json (#3433)

Based on the description, the type here should be boolean rather than a string.
This commit is contained in:
Gin 2024-08-20 02:52:04 +08:00 committed by GitHub
parent 7dc78b780a
commit a09c98a6dc
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -305,8 +305,8 @@
},
"statusline": {
"description": "Whether to display a status line\nhttps://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options",
"type": "string",
"default": "sudo"
"type": "boolean",
"default": true
},
"sucmd": {
"description": "A super user command\nhttps://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options",
@ -364,4 +364,4 @@
}
},
"additionalProperties": false
}
}