Skip to content

Commit

Permalink
chore: update default runner command
Browse files Browse the repository at this point in the history
  • Loading branch information
lars-reimann committed Dec 1, 2023
1 parent 9f78034 commit 1c98b75
Showing 1 changed file with 8 additions and 8 deletions.
16 changes: 8 additions & 8 deletions packages/safe-ds-vscode/package.json
Original file line number Diff line number Diff line change
Expand Up @@ -80,20 +80,13 @@
"path": "./syntaxes/safe-ds.tmLanguage.json"
}
],
"configurationDefaults": {
"[safe-ds]": {
"editor.semanticHighlighting.enabled": true,
"editor.wordSeparators": "`~!@#%^&*()-=+[]{}\\|;:'\",.<>/?»«",
"files.trimTrailingWhitespace": true
}
},
"configuration": {
"title": "Safe-DS",
"properties": {
"safe-ds.runner.command": {
"description": "Command to start the Safe-DS runner",
"type": "string",
"default": "python -m runner"
"default": "safe-ds-runner"
},
"safe-ds.validation.codeStyle": {
"type": "boolean",
Expand All @@ -117,6 +110,13 @@
}
}
},
"configurationDefaults": {
"[safe-ds]": {
"editor.semanticHighlighting.enabled": true,
"editor.wordSeparators": "`~!@#%^&*()-=+[]{}\\|;:'\",.<>/?»«",
"files.trimTrailingWhitespace": true
}
},
"menus": {
"editor/title/run": [
{
Expand Down

0 comments on commit 1c98b75

Please sign in to comment.