-
Notifications
You must be signed in to change notification settings - Fork 2
/
config_micro_settings.json
53 lines (53 loc) · 1.3 KB
/
config_micro_settings.json
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
{
"autoclose": true,
"autoindent": true,
"autosave": false,
"basename": false,
"colorcolumn": 0,
"colorscheme": "simple",
"cursorline": true,
"eofnewline": false,
"fastdirty": true,
"fileformat": "unix",
"filemanager-compressparent": true,
"filemanager-foldersfirst": true,
"filemanager-openonstart": false,
"filemanager-showdotfiles": true,
"filemanager-showignored": true,
"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": true,
"savehistory": true,
"saveundo": true,
"scrollbar": false,
"scrollmargin": 3,
"scrollspeed": 2,
"smartpaste": true,
"softwrap": false,
"splitbottom": true,
"splitright": true,
"statusline": true,
"sucmd": "sudo",
"syntax": true,
"tabmovement": true,
"tabsize": 4,
"tabstospaces": true,
"termtitle": false,
"useprimary": true
}