Skip to content

Instantly share code, notes, and snippets.

@milnak
Last active February 15, 2026 18:31
Show Gist options
  • Select an option

  • Save milnak/dd5e50df937b0ad58906c7fbff63de61 to your computer and use it in GitHub Desktop.

Select an option

Save milnak/dd5e50df937b0ad58906c7fbff63de61 to your computer and use it in GitHub Desktop.
micro editor settings.json
{
"$comment": "https://github.com/micro-editor/micro",
"$schema": "https://raw.githubusercontent.com/micro-editor/micro/refs/heads/master/data/micro.json",
"*.js": {
"tabsize": 2
},
"*.py": {
"tabsize": 4
},
"*.ts": {
"tabsize": 2
},
"basename": true,
"colorcolumn": 120,
"colorscheme": "monokai-dark",
"diffgutter": true,
"hlsearch": true,
"mkparents": true,
"parsecursor": true,
"pluginrepos": [],
"rmtrailingws": true,
"ruler": false,
"savecursor": true,
"saveundo": true,
"statusformatl": "$(modified)$(filename) | Ln $(line), Col $(col) | $(opt:encoding) | $(opt:fileformat) | $(opt:filetype)",
"statusformatr": "$(bind:ToggleKeyMenu): key menu, $(bind:ToggleHelp): help"
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment