From ccf78bcf85632addfef340ef7c86239e73556fb1 Mon Sep 17 00:00:00 2001 From: Lars Reimann Date: Sun, 15 Dec 2024 11:20:34 +0100 Subject: [PATCH 1/2] refactor: set default settings for all language variants at once --- packages/safe-ds-vscode/package.json | 16 +--------------- 1 file changed, 1 insertion(+), 15 deletions(-) diff --git a/packages/safe-ds-vscode/package.json b/packages/safe-ds-vscode/package.json index a3fd0a2bc..4a915b2b0 100644 --- a/packages/safe-ds-vscode/package.json +++ b/packages/safe-ds-vscode/package.json @@ -217,21 +217,7 @@ } }, "configurationDefaults": { - "[safe-ds]": { - "editor.semanticHighlighting.enabled": true, - "editor.suggest.snippetsPreventQuickSuggestions": true, - "editor.wordBasedSuggestions": "off", - "editor.wordSeparators": "`~!@#%^&*()-=+[]{}\\|;:'\",.<>/?»«", - "files.trimTrailingWhitespace": true - }, - "[safe-ds-stub]": { - "editor.semanticHighlighting.enabled": true, - "editor.suggest.snippetsPreventQuickSuggestions": true, - "editor.wordBasedSuggestions": "off", - "editor.wordSeparators": "`~!@#%^&*()-=+[]{}\\|;:'\",.<>/?»«", - "files.trimTrailingWhitespace": true - }, - "[safe-ds-dev]": { + "[safe-ds][safe-ds-stub][safe-ds-dev]": { "editor.semanticHighlighting.enabled": true, "editor.suggest.snippetsPreventQuickSuggestions": true, "editor.wordBasedSuggestions": "off", From 140eb249f3e16c2babd246f4691014507ab8548d Mon Sep 17 00:00:00 2001 From: Lars Reimann Date: Sun, 15 Dec 2024 11:31:20 +0100 Subject: [PATCH 2/2] feat: prevent editing builtin stubs --- packages/safe-ds-vscode/package.json | 3 +++ 1 file changed, 3 insertions(+) diff --git a/packages/safe-ds-vscode/package.json b/packages/safe-ds-vscode/package.json index 4a915b2b0..cef4c3973 100644 --- a/packages/safe-ds-vscode/package.json +++ b/packages/safe-ds-vscode/package.json @@ -223,6 +223,9 @@ "editor.wordBasedSuggestions": "off", "editor.wordSeparators": "`~!@#%^&*()-=+[]{}\\|;:'\",.<>/?»«", "files.trimTrailingWhitespace": true + }, + "files.readonlyInclude": { + "**/dist/resources/builtins/**/*.sdsstub": true } }, "commands": [