some more progress on script

This commit is contained in:
2023-11-27 20:30:38 +01:00
parent 2e9bd6529e
commit 0401643dec
10 changed files with 453 additions and 3 deletions

View File

@@ -0,0 +1 @@
// Empty

View File

@@ -0,0 +1,27 @@
{
"diffEditor.ignoreTrimWhitespace": false,
"explorer.confirmDragAndDrop": false,
"git.autofetch": true,
"workbench.preferredHighContrastColorTheme": "Material Theme Darker High Contrast",
"workbench.colorTheme": "Material Theme Darker High Contrast",
"git.enableSmartCommit": true,
"latex-utilities.countWord.format": "${wordsBody} Words",
"editor.fontFamily": "'Source Code Pro'",
"gitMerger.customCommitMessage": true,
"[python]": {
"editor.formatOnType": true
},
"update.mode": "none",
"workbench.enableExperiments": false,
"workbench.startupEditor": "none",
"workbench.iconTheme": "eq-material-theme-icons-darker",
"ltex.language": "en-GB",
"[tex]": {
"editor.wordWrap": "bounded",
"editor.wordWrapColumn": 200
},
"[latex]": {
"editor.wordWrap": "bounded",
"editor.wordWrapColumn": 200
}
}