-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathsettings.json
More file actions
122 lines (122 loc) · 3.99 KB
/
settings.json
File metadata and controls
122 lines (122 loc) · 3.99 KB
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
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
{
// General settings
"explorer.confirmDelete": false,
"explorer.confirmDragAndDrop": false,
"files.autoSave": "afterDelay",
"files.autoSaveDelay": 500,
"files.trimFinalNewlines": true,
"files.trimTrailingWhitespace": true,
"terminal.integrated.cursorBlinking": true,
// Editor settings
"editor.fontSize": 12,
"editor.tabSize": 4,
"editor.suggestSelection": "first",
"editor.wordWrap": "bounded",
"editor.formatOnPaste": true,
"editor.hover.delay": 100,
"editor.formatOnSave": true,
"editor.insertSpaces": true,
"editor.rulers": [
120
],
"editor.wordWrapColumn": 120,
"workbench.editor.closeOnFileDelete": true,
"workbench.editor.highlightModifiedTabs": true,
"workbench.editor.enablePreview": false,
"workbench.statusBar.visible": true,
// Git settings
"git.autofetch": true,
"git.promptToSaveFilesBeforeCommit": "always",
"git.confirmEmptyCommits": true,
// TODO_list settings
"todohighlight.isCaseSensitive": true,
"todohighlight.keywords": [
"todo",
"Todo",
"TODO",
"fixme",
"unimplemented",
"Admitted."
],
"todohighlight.exclude": [
"**/node_modules/**",
"**/bower_components/**",
"**/dist/**",
"**/build/**",
"**/.vscode/**",
"**/.github/**",
"**/_output/**",
"**/*.min.*",
"**/*.map",
"**/.next/**",
"**/settings.json"
],
// Python settings
"[python]": {
"editor.formatOnPaste": false,
"editor.formatOnType": true, // because black cannot format on paste
"editor.defaultFormatter": "ms-python.black-formatter"
},
// Latex settings
"latex-workshop.intellisense.package.enabled": true,
"latex-workshop.intellisense.unimathsymbols.enabled": true,
"latex-workshop.latex.autoBuild.interval": 2000,
"latex-workshop.intellisense.update.delay": 200,
"latex-workshop.view.pdf.viewer": "tab",
"latex-workshop.synctex.afterBuild.enabled": true,
"latex-workshop.message.warning.show": false,
"latex-workshop.message.information.show": false,
"latex-workshop.latex.autoBuild.cleanAndRetry.enabled": false,
// Html settings
"html.format.wrapLineLength": 120,
"html.format.indentInnerHtml": true,
"files.associations": {
".emacs": "lisp"
},
"workbench.editorAssociations": {
"*.ipynb": "jupyter.notebook.ipynb",
"*.pdf": "latex-workshop-pdf-hook"
},
"files.watcherExclude": {
"**/.bloop": true,
"**/.metals": true,
"**/.ammonite": true
},
"liveServer.settings.donotShowInfoMsg": true,
"latex-workshop.latex.outDir": "build",
"python.analysis.completeFunctionParens": true,
"workbench.colorTheme": "Visual Studio Dark",
"security.workspace.trust.untrustedFiles": "open",
"git.requireGitUserConfig": false,
"git.confirmSync": false,
"editor.snippetSuggestions": "top",
"diffEditor.ignoreTrimWhitespace": false,
"rust-analyzer.inlayHints.typeHints.enable": false,
"haskell.manageHLS": "GHCup",
"terminal.integrated.enableMultiLinePasteWarning": false,
"rust-analyzer.hover.actions.references.enable": true,
"latex-workshop.linting.chktex.enabled": true,
"rust-analyzer.assist.emitMustUse": true,
"editor.inlineSuggest.enabled": true,
"git.openRepositoryInParentFolders": "never",
"lldb.suppressUpdateNotifications": true,
"github.copilot.enable": {
"*": true,
"plaintext": false,
"markdown": false,
"scminput": false,
"latex": false,
"coq": false
},
"window.zoomLevel": 1,
"latex-workshop.bibtex-format.sort.enabled": true,
"harper-ls.linters": {
"SpellCheck": false,
"SentenceCapitalization": false,
"UseTitleCase": false,
"ExpandDependencies": false,
"ExpandArgument": false,
"ExpandStandardInputAndOutput": false
},
"terminal.integrated.initialHint": false,
}