package.json

{
  "name": "loogle-lean",
  "displayName": "Loogle Lean",
  "description": "This extension implements support for using loogle inside vscode in any lean file",
  "version": "0.0.9",
  "repository": {
    "url": "https://github.com/Shreyas4991/loogle-lean/"
  },
  "publisher": "ShreyasSrinivas",
  "engines": {
    "vscode": "^1.83.0"
  },
  "categories": [
    "Other"
  ],
  "activationEvents": [
    "onLanguage:lean"
  ],
  "main": "./dist/extension.js",
  "contributes": {  
    

  "configuration": {
      "title": "Loogle",
      "properties": {
        "loogle-lean.showModuleName": {
          "type": "boolean",
          "default": true,
          "description": "Show module names in the selection of search results"
        }
      }
    },
    "commands": [
      {
        "command": "loogle-lean.loogle",
        "title": "Loogle Search",
        "category": "Lean 4",
        "shortTitle": "Search lean with loogle",
        "icon" :  "$(search)"
      }
    ],
    "menus": {
      "editor/title": [
        {
          "command": "loogle-lean.loogle",
          "icon" : "$(search)",
          "group": "navigation"
        }
      ]
    },
    "keybindings" : [
      {
        "key": "ctrl+shift+l",
        "command": "loogle-lean.loogle",
        "mac": "cmd+shift+l"
      }
    ]
  },
  "scripts": {
    "vscode:prepublish": "npm run package",
    "compile": "webpack",
    "watch": "webpack --watch",
    "package": "webpack --mode production --devtool hidden-source-map",
    "compile-tests": "tsc -p . --outDir out",
    "watch-tests": "tsc -p . -w --outDir out",
    "pretest": "npm run compile-tests && npm run compile && npm run lint",
    "lint": "eslint src --ext ts",
    "test": "node ./out/test/runTest.js"
  },
  "devDependencies": {
    "@types/mocha": "^10.0.2",
    "@types/node": "18.x",
    "@types/vscode": "^1.83.0",
    "@typescript-eslint/eslint-plugin": "^6.7.3",
    "@typescript-eslint/parser": "^6.7.3",
    "@vscode/test-electron": "^2.3.4",
    "eslint": "^8.50.0",
    "glob": "^10.3.3",
    "mocha": "^10.2.0",
    "ts-loader": "^9.4.4",
    "typescript": "^5.2.2",
    "webpack": "^5.94.0",
    "webpack-cli": "^5.1.4"
  },
  "dependencies": {
    "node-fetch": "^3.3.2"
  }
}