Formatter Validator Minifier Escape / Unescape JSON ↔ String JSON ↔ YAML JSON → CSV NDJSON / JSON Lines JSON → Types JSON ↔ XML JSON Diff JSON Patch Canonicalize (RFC 8785) Schema Validator Schema Generator JSONPath Tester JWT Decoder JSON Errors Schemas More Tools
JSONTools / Schema registry / A micro editor config
Schema registry

A micro editor config

A micro editor config

**/micro/settings.json

Check your file against this schema

Opens the validator with this schema already loaded. Paste your **/micro/settings.json and it validates in your browser — nothing is uploaded.

Validate a **/micro/settings.json → View raw schema

Fields

Generated directly from the schema, following local $refs, to two levels of nesting.

Field Type Description
autoindentbooleanWhether to use the same indentation as a previous line https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: true
autosaveintegerA delay between automatic saves https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: 0
autosubooleanWhether attempt to use super user privileges https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: false
backupbooleanWhether to backup all open buffers https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: true
backupdirstringA directory to store backups https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: ""
basenamebooleanWhether to show a basename instead of a full path https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: false
clipboardstringA way to access the system clipboard https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: "external"
one of: "external", "terminal", "internal"
colorcolumnintegerA position to display a column https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: 0
colorschemestringA color scheme https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: "default"
one of: "atom-dark", "bubblegum", "cmc-16", "cmc-tc", "darcula", "default" … (+19)
cursorlinebooleanWhether to highlight a line with a cursor with a different color https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: true
diffgutterbooleanWhether to display diff inticators before lines https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: false
divcharsstringDivider chars for vertical and horizontal splits https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: "|-"
divreversebooleanWhether to use inversed color scheme colors for splits https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: true
encodingstringAn encoding used to open and save files https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: "utf-8"
eofnewlinebooleanWhether to add a missing trailing new line https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: true
fastdirtybooleanWhether to use a fast algorithm to determine whether a file is changed https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: false
fileformatstringA line ending format https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: "unix"
one of: "unix", "dos"
filetypestringA filetype for the current buffer https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: "unknown"
hlsearchbooleanWhether to highlight all instances of a searched text after a successful search https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: false
incsearchbooleanWhether to enable an incremental search in `Find` prompt https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: true
ignorecasebooleanWhether to perform case-insensitive searches https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: true
indentcharstringAn indentation character https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: " "
infobarbooleanWhether to enable a line at the bottom where messages are printed https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: true
keepautoindentbooleanWhether add a whitespace while using autoindent https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: false
keymenubooleanWhether to display nano-style key menu at the bottom https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: false
matchbracebooleanWhether to underline matching braces https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: true
mkparentsbooleanWhether to create missing directories https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: false
mousebooleanWhether to enable mouse support https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: true
pastebooleanWhether to treat characters sent from the terminal in a single chunk as a paste event https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: false
parsecursorbooleanWhether to extract a line number and a column to open files with from file names https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: false
permbackupbooleanWhether to permanently save backups https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: false
pluginchannelsstringA file with list of plugin channels https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: "https://raw.githubusercontent.com/micro-editor/plugin-chann…
pluginreposarray<string>Plugin repositories https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: []
readonlybooleanWhether to forbid buffer editing https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: false
rmtrailingwsbooleanWhether to remove trailing whitespaces https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: false
rulerbooleanWhether to display line numbers https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: true
relativerulerbooleanWhether to display relative line numbers https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: false
savecursorbooleanWhether to save cursor position in files https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: false
savehistorybooleanWhether to save command history between closing and re-opening editor https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: true
saveundobooleanWhether to save undo after closing file https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: false
scrollbarbooleanWhether to save undo after closing file https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: false
scrollmarginintegerA margin at which a view starts scrolling when a cursor approaches an edge of a view https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: 3
scrollspeedintegerLine count to scroll for one scroll event https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: 2
smartpastebooleanWhether to add a leading whitespace while pasting multiple lines https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: true
softwrapbooleanWhether to wrap long lines https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: false
splitbottombooleanWhether to create a new horizontal split below the current one https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: true
splitrightbooleanWhether to create a new vertical split right of the current one https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: true
statusformatlstringFormat string of left-justified part of the statusline https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: "$(filename) $(modified)($(line),$(col)) $(status.paste)|…
statusformatrstringFormat string of right-justified part of the statusline https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: "$(bind:ToggleKeyMenu): bindings, $(bind:ToggleHelp): help"
statuslinestringWhether to display a status line https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: "sudo"
sucmdstringA super user command https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: "sudo"
syntaxbooleanWhether to enable a syntax highlighting https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: true
tabmovementbooleanWhether to navigate spaces at the beginning of lines as if they are tabs https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: false
tabhighlightbooleanWhether to invert tab character colors https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: false
tabreversebooleanWhether to reverse tab bar colors https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: true
tabsizeintegerA tab size https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: 4
tabstospacesbooleanWhether to use spaces instead of tabs https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: false
useprimarybooleanWhether to use primary clipboard to copy selections in the background https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: true
wordwrapbooleanWhether to wrap long lines by words https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: false
xtermbooleanWhether to assume that the current terminal is `xterm` https://github.com/zyedidia/micro/blob/master/runtime/help/options.md#options
default: false

What we found in this schema

Specification sections for the keywords in this schema

Keyword Document Section
$commentJSON Schema Core, draft 2020-12§8.3 — Comments With "$comment"
$idJSON Schema Core, draft 2020-12§8.2.1 — The "$id" Keyword
$schemaJSON Schema Core, draft 2020-12§8.1.1 — "$schema"
additionalPropertiesJSON Schema Core, draft 2020-12§10.3.2.3 — "additionalProperties"
defaultJSON Schema Validation, draft 2020-12§9.2 — "default"
descriptionJSON Schema Validation, draft 2020-12§9.1 — "title" and "description"
enumJSON Schema Validation, draft 2020-12§6.1.2 — "enum"
minimumJSON Schema Validation, draft 2020-12§6.2.4 — "minimum"
propertiesJSON Schema Core, draft 2020-12§10.3.2.1 — "properties"
typeJSON Schema Validation, draft 2020-12§6.1.1 — "type"

Documents

Attribution

This schema comes from SchemaStore, distributed under the Apache License 2.0. Copyright 2015–present Mads Kristensen and contributors. View the original file. The field table and audit on this page are generated by JSONTools.tools; the schema itself is unmodified.

← All schemas