{
    "name": "godot-tools",
    "displayName": "godot-tools",
    "description": "\"Tools for game development with godot game engine\"",
    "version": "0.0.1",
    "publisher": "GodotExplorer",
    "engines": {
        "vscode": "^1.5.0"
    },
    "categories": [
        "Other"
    ],
    "activationEvents": [
        "onLanguage:gdscript",
        "workspaceContains:engine.cfg"
    ],
    "main": "./out/src/extension",
    "contributes": {
        "commands": [{
            "command": "extension.sayHello",
            "title": "Hello World"
        }],
        "configuration": {
            "type": "object",
			"title": "Godot tools configuration",
			"properties": {
                "GDScriptServer.editorServerPort": {
					"type": "number",
					"default": 6996,
					"description": "The server port of your EditorServer"
				},
				"GDScriptServer.maxNumberOfProblems": {
					"type": "number",
					"default": 10,
					"description": "Controls the maximum number of problems produced by the server."
				}
			}
        }
    },
    "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": {
		"vscode-languageclient": "^2.6.3"
	}
}