diff options
Diffstat (limited to '.config')
| -rw-r--r-- | .config/micro/settings.json | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/.config/micro/settings.json b/.config/micro/settings.json new file mode 100644 index 0000000..c42bee8 --- /dev/null +++ b/.config/micro/settings.json @@ -0,0 +1,47 @@ +{ + "autoclose": true, + "autoindent": true, + "autosave": false, + "basename": false, + "colorcolumn": 0, + "colorscheme": "default", + "cursorline": true, + "eofnewline": false, + "fastdirty": true, + "fileformat": "unix", + "ftoptions": true, + "hidehelp": false, + "ignorecase": false, + "indentchar": " ", + "infobar": true, + "keepautoindent": false, + "keymenu": false, + "linter": true, + "literate": true, + "matchbrace": false, + "matchbraceleft": false, + "mouse": true, + "pluginchannels": [ + "https://raw.githubusercontent.com/micro-editor/plugin-channel/master/channel.json" + ], + "pluginrepos": [], + "rmtrailingws": false, + "ruler": true, + "savecursor": false, + "savehistory": true, + "saveundo": false, + "scrollbar": false, + "scrollmargin": 3, + "scrollspeed": 2, + "softwrap": false, + "splitbottom": true, + "splitright": true, + "statusline": true, + "sucmd": "sudo", + "syntax": true, + "tabmovement": false, + "tabsize": 4, + "tabstospaces": false, + "termtitle": false, + "useprimary": true +} |
