{ "name": "digital-ide", "displayName": "digital-ide", "description": "all in one vscode plugin for Verilog/VHDL development", "version": "0.3.0", "engines": { "vscode": "^1.72.0" }, "main": "./out/extension.js", "categories": [ "Extension Packs", "Programming Languages", "Snippets" ], "activationEvents": [ "onLanguage:verilog", "onLanguage:vhdl", "onLanguage:systemverilog", "onCommand:digital-ide.property-json.generate", "onCommand:digital-ide.property-json.overwrite", "workspaceContains:.vscode/property.json" ], "contributes": { "configuration": { "title": "Digital-IDE", "properties": { "lib.custom.path": { "scope": "window", "type": "string", "default": "", "description": "path of the dictionary of \"custom\" in library" }, "function.doc.webview.backgroundImage": { "type": "string", "default": "", "description": "url of the background image" }, "function.doc.pdf.scale": { "type": "number", "default": 1, "description": "scale of the exported pdf" }, "function.doc.pdf.printBackground": { "type": "boolean", "default": true, "description": "whether print background" }, "function.doc.pdf.landscape": { "type": "boolean", "default": false, "description": "whether export pdf as a landscape style" }, "function.doc.pdf.format": { "type": "string", "default": "A4", "description": "format of pdf size" }, "function.doc.pdf.displayHeaderFooter": { "type": "boolean", "default": false, "description": "display header and footer in the exported pdf" }, "function.doc.pdf.browserPath": { "type": "string", "default": "C:/Program Files (x86)/Microsoft/Edge/Application/msedge.exe", "description": "the absolute path of edge or chrome, we need browser to render pdf" }, "function.doc.pdf.margin.top": { "type": "number", "default": 0.5, "description": "top margin of exported pdf, unit cm" }, "function.doc.pdf.margin.right": { "type": "number", "default": 0.5, "description": "top margin of exported pdf, unit cm" }, "function.doc.pdf.margin.bottom": { "type": "number", "default": 0.5, "description": "top margin of exported pdf, unit cm" }, "function.doc.pdf.margin.left": { "type": "number", "default": 0.5, "description": "top margin of exported pdf, unit cm" }, "function.doc.pdf.headerTemplate": { "type": "string", "default": "