Merge pull request #13 from moves-rwth/vscode-ext

VSCode Extension 2.0

.gitignore

@@ -1,3 +1,6 @@
 target
 .DS_Store
 benchmark-results.csv
+vscode-ext/node_modules/
+vscode-ext/out/
+node_modules/

.vscode/extensions.json

@@ -0,0 +1,8 @@
+{
+ // See http://go.microsoft.com/fwlink/?LinkId=827846
+ // for the documentation about the extensions.json format
+ "recommendations": [
+ "dbaeumer.vscode-eslint",
+ "ms-vscode.extension-test-runner"
+ ]
+}

.vscode/launch.json

@@ -0,0 +1,21 @@
+// A launch configuration that compiles the extension and then opens it inside a new window
+// Use IntelliSense to learn about possible attributes.
+// Hover to view descriptions of existing attributes.
+// For more information, visit: https://go.microsoft.com/fwlink/?linkid=830387
+{
+ "version": "0.2.0",
+ "configurations": [
+ {
+ "name": "Run VSCode Extension",
+ "type": "extensionHost",
+ "request": "launch",
+ "args": [
+ "--extensionDevelopmentPath=${workspaceFolder}/vscode-ext"
+ ],
+ "outFiles": [
+ "${workspaceFolder}/vscode-ext/out/**/*.js"
+ ],
+ "preLaunchTask": "VSCode Extension: npm watch"
+ }
+ ]
+}

.vscode/settings.json

@@ -1,4 +1,14 @@
 {
- "cSpell.words": ["intern", "interner"],
- "cSpell.enabled": false
-}
+ "files.exclude": {
+ "vscode-ext/out": false // set this to true to hide the "out" folder with the compiled JS files
+ },
+ "search.exclude": {
+ "vscode-ext/out": true // set this to false to include "out" folder in search results
+ },
+ // Turn off tsc task auto detection since we have the necessary tasks as npm scripts
+ "typescript.tsc.autoDetect": "off",
+ "eslint.workingDirectories": [
+ "./vscode-ext"
+ ],
+ "eslint.experimental.useFlatConfig": true
+}

.vscode/tasks.json

@@ -0,0 +1,22 @@
+// See https://go.microsoft.com/fwlink/?LinkId=733558
+// for the documentation about the tasks.json format
+{
+ "version": "2.0.0",
+ "tasks": [
+ {
+ "label": "VSCode Extension: npm watch",
+ "path": "vscode-ext",
+ "type": "npm",
+ "script": "watch",
+ "problemMatcher": "$tsc-watch",
+ "isBackground": true,
+ "presentation": {
+ "reveal": "never"
+ },
+ "group": {
+ "kind": "build",
+ "isDefault": false,
+ }
+ }
+ ]
+}