From 6c25c9760afc1c1f3a1981fb3fbf9ff170fbe2e8 Mon Sep 17 00:00:00 2001 From: Pascal Vizeli Date: Tue, 2 Jul 2019 13:34:50 +0200 Subject: [PATCH] Update devcontainer.json --- .devcontainer/devcontainer.json | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 44b456456c7..2c2262f0a7b 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -15,6 +15,7 @@ "python.pythonPath": "/usr/local/bin/python", "python.linting.pylintEnabled": true, "python.linting.enabled": true, - "files.trimTrailingWhitespace": true + "files.trimTrailingWhitespace": true, + "editor.rulers": [80] } }