div updates

2020-08-17 18:51:37 +02:00
parent 4981ad888c
commit 6cdb7ecc61
16 changed files with 345 additions and 500 deletions
@@ -1,12 +1,16 @@
 {
    "signature.target": "echo",
-    "python.jediEnabled": true,
    "suggest.autoTrigger": "always",
+    "python.jediEnabled": true,
    "python.autoComplete.addBrackets": true,
    "python.linting.pylintEnabled": false,
    "python.linting.flake8Enabled": true,
    "python.linting.pylintArgs": ["--disable=all", "--enable=F,E,unreachable,duplicate-key,unnecessary-semicolon,global-variable-not-assigned,unused-variable,binary-op-exception,bad-format-string,anomalous-backslash-in-string,bad-open-mode"],
    "python.linting.flake8Args": ["--ignore=E226,E231,E241,E501,E701,E704"],
    "python.linting.enabled": true,
-    "git.enableGutters": true
+    "git.enableGutters": true,
+    "tabnine.shortcut": "TN",
+    "yaml.format.enable": true,
+    "yaml.format.singleQuote": true
+
 }