You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
66 lines
1.7 KiB
66 lines
1.7 KiB
{
|
|
"autoclose": true,
|
|
"autoindent": true,
|
|
"autosave": 0,
|
|
"autosu": false,
|
|
"backup": true,
|
|
"basename": false,
|
|
"colorcolumn": 0,
|
|
"colorscheme": "simple",
|
|
"comment": true,
|
|
"cursorline": true,
|
|
"diff": true,
|
|
"diffgutter": false,
|
|
"encoding": "utf-8",
|
|
"eofnewline": true,
|
|
"fastdirty": false,
|
|
"fileformat": "unix",
|
|
"filemanager": true,
|
|
"filemanager.compressparent": true,
|
|
"filemanager.foldersfirst": true,
|
|
"filemanager.openonstart": false,
|
|
"filemanager.showdotfiles": true,
|
|
"filemanager.showignored": true,
|
|
"filetype": "unknown",
|
|
"ftoptions": true,
|
|
"fzf": true,
|
|
"ignorecase": false,
|
|
"indentchar": " ",
|
|
"infobar": true,
|
|
"keepautoindent": false,
|
|
"keymenu": false,
|
|
"linter": true,
|
|
"literate": true,
|
|
"matchbrace": true,
|
|
"mkparents": false,
|
|
"mouse": true,
|
|
"paste": true,
|
|
"pluginchannels": [
|
|
"https://raw.githubusercontent.com/micro-editor/plugin-channel/master/channel.json"
|
|
],
|
|
"pluginrepos": [],
|
|
"readonly": false,
|
|
"rmtrailingws": false,
|
|
"ruler": true,
|
|
"savecursor": false,
|
|
"savehistory": true,
|
|
"saveundo": false,
|
|
"scrollbar": true,
|
|
"scrollmargin": 3,
|
|
"scrollspeed": 2,
|
|
"smartpaste": true,
|
|
"softwrap": false,
|
|
"splitbottom": true,
|
|
"splitright": true,
|
|
"status": true,
|
|
"statusformatl": "$(filename) $(modified)($(line),$(col)) $(status.paste)| ft:$(opt:filetype) | $(opt:fileformat) | $(opt:encoding)",
|
|
"statusformatr": "$(bind:ToggleKeyMenu): bindings, $(bind:ToggleHelp): help",
|
|
"statusline": true,
|
|
"sucmd": "sudo",
|
|
"syntax": true,
|
|
"tabmovement": false,
|
|
"tabsize": 4,
|
|
"tabstospaces": false,
|
|
"useprimary": true,
|
|
"xterm": false
|
|
}
|
|
|