{ "name": "godot-tools", "displayName": "Godot Tools", "icon": "icon.png", "description": "\"Tools for game development with godot game engine\"", "version": "0.1.1", "publisher": "geequlim", "engines": { "vscode": "^1.5.0" }, "categories": [ "Other" ], "activationEvents": [ "workspaceContains:engine.cfg", "onLanguage:gdscript" ], "main": "./out/src/extension", "contributes": { "commands":[ { "command": "godot.updateWorkspaceSymbols", "title": "GodotTools: Update Workspace Symbols" }, { "command": "godot.runWorkspace", "title": "GodotTools: Run workspace as godot project" }, { "command": "godot.openWithEditor", "title": "GodotTools: Open workspace with godot editor" }, { "command": "godot.runCurrentScene", "title": "GodotTools: Run current scene" } ], "configuration": { "type": "object", "title": "Godot tools configuration", "properties": { "GodotTools.editorServerPort": { "type": "number", "default": 6996, "description": "The server port of your EditorServer" }, "GodotTools.maxNumberOfProblems": { "type": "number", "default": 100, "description": "Controls the maximum number of problems produced by the server." }, "GodotTools.editorPath": { "type": "string", "default": "", "description": "The absolute path of your godot editor" } } }, "languages": [ { "id": "gdscript", "aliases": [ "Godot Engine Script", "gdscript" ], "extensions": [ ".gd" ], "configuration": "./configrations/gdscript-configuration.json" } ], "grammars": [ { "language": "gdscript", "scopeName": "source.gdscript", "path": "./configrations/GDScript.tmLanguage.json" } ], "snippets": [ { "language": "gdscript", "path": "./configrations/snippets.json" } ] }, "scripts": { "vscode:prepublish": "tsc -p ./", "compile": "tsc -watch -p ./", "postinstall": "node ./node_modules/vscode/bin/install", "test": "node ./node_modules/vscode/bin/test" }, "devDependencies": { "typescript": "^2.0.3", "vscode": "^1.0.0", "mocha": "^2.3.3", "@types/node": "^6.0.40", "@types/mocha": "^2.2.32" }, "dependencies": { "glob": "^7.1.1", "node-cmd": "1.2.0" } }