package.json

{
  "name": "rzk-1-experimental-highlighting",
  "displayName": "Rzk",
  "description": "Interactive theorem proving support in VS Code for Rzk, a proof assistant for synthetic ∞-categories",
  "icon": "images/icon.png",
  "version": "0.4.5",
  "repository": "https://github.com/rzk-lang/vscode-rzk",
  "publisher": "NikolaiKudasovfizruk",
  "main": "./out/extension.js",
  "activationEvents": [
    "workspaceContains:rzk.yaml"
  ],
  "scripts": {
    "vscode:prepublish": "npm run build",
    "build": "esbuild src/extension.ts --bundle --platform=node --external:vscode --outdir=out --minify",
    "watch": "esbuild src/extension.ts --bundle --platform=node --external:vscode --outdir=out --watch"
  },
  "engines": {
    "vscode": "^1.79.1"
  },
  "categories": [
    "Programming Languages"
  ],
  "contributes": {
    "grammars": [
      {
        "language": "rzk",
        "scopeName": "source.rzk",
        "path": "./syntaxes/rzk.tmLanguage.json"
      },
      {
        "language": "literate rzk markdown",
        "scopeName": "text.html.markdown.rzk",
        "path": "./syntaxes/literate-rzk-markdown.tmLanguage.json",
        "filenamePatterns": [
          "*.rzk.md"
        ]
      },
      {
        "path": "./syntaxes/rzk-markdown-injection.tmLanguage.json",
        "scopeName": "source.rzk.embedded.markdown",
        "injectTo": [
          "text.html.markdown",
          "source.markdown",
          "source.markdown.rzk"
        ],
        "embeddedLanguages": {
          "meta.embedded.block.rzk": "rzk"
        }
      },
      {
        "language": "literate rzk latex",
        "scopeName": "text.tex.latex.rzk",
        "path": "./syntaxes/literate-rzk-latex.tmLanguage.json"
      },
      {
        "scopeName": "source.rzk.embedded.latex",
        "path": "./syntaxes/rzk-latex-injection.tmLanguage.json",
        "injectTo": [
          "text.tex.latex.rzk"
        ],
        "embeddedLanguages": {
          "meta.embedded.block.rzk": "rzk"
        }
      }
    ],
    "languages": [
      {
        "id": "rzk",
        "aliases": [
          "rzk-1",
          "rzk"
        ],
        "extensions": [
          ".rzk"
        ],
        "configuration": "./language-configuration.json",
        "icon": {
          "light": "./icons/rzk-light.png",
          "dark": "./icons/rzk-dark.png"
        },
        "scopeName": "source.rzk"
      },
      {
        "id": "literate rzk markdown",
        "aliases": [
          "Literate Rzk-1 Markdown",
          "literate rzk-1 markdown",
          "rzk-1 markdown",
          "rzk-1-md",
          "Literate Rzk Markdown",
          "literate rzk markdown",
          "rzk markdown",
          "rzk-md"
        ],
        "extensions": [
          ".rzk.md"
        ],
        "filenamePatterns": [
          "*.rzk.md"
        ],
        "configuration": "./language-configuration.json",
        "icon": {
          "light": "./icons/rzk-md-light.png",
          "dark": "./icons/rzk-md-dark.png"
        },
        "scopeName": "text.html.markdown.rzk"
      },
      {
        "id": "literate rzk latex",
        "aliases": [
          "Literate Rzk-1 LaTeX",
          "Literate Rzk-1 Latex",
          "literate rzk-1 latex",
          "Rzk-1 LaTeX",
          "Rzk-1 Latex",
          "rzk-1 latex",
          "rzk-1-tex",
          "Literate Rzk LaTeX",
          "Literate Rzk Latex",
          "literate rzk latex",
          "Rzk LaTeX",
          "Rzk Latex",
          "rzk latex",
          "rzk-latex",
          "rzk-tex"
        ],
        "extensions": [
          ".rzk.tex"
        ],
        "filenamePatterns": [
          "*.rzk.tex"
        ],
        "icon": {
          "light": "./icons/rzk-tex-light.png",
          "dark": "./icons/rzk-tex-dark.png"
        },
        "scopeName": "text.tex.latex.rzk"
      }
    ],
    "configuration": {
      "title": "Rzk",
      "properties": {
        "rzk.format.enable": {
          "type": "boolean",
          "default": true,
          "description": "Enable the Rzk formatter"
        },
        "rzk.path": {
          "type": "string",
          "default": "",
          "description": "The path and file name of the Rzk executable to use. If not set, will default to using `rzk` from the system PATH",
          "scope": "machine-overridable"
        },
        "rzk.fetchPrereleases": {
          "type": "boolean",
          "default": false,
          "description": "If true, will include releases marked as \"pre-release\" on GitHub when fetching the latest binaries"
        }
      }
    },
    "configurationDefaults": {
      "[rzk][literate rzk markdown]": {
        "editor.defaultFormatter": "NikolaiKudasovfizruk.rzk-1-experimental-highlighting",
        "editor.rulers": [
          80
        ],
        "editor.detectIndentation": false,
        "editor.tabSize": 2,
        "editor.formatOnSave": true,
        "editor.insertSpaces": true,
        "files.trimTrailingWhitespace": true,
        "files.insertFinalNewline": true
      }
    },
    "menus": {
      "editor/title": [
        {
          "when": "resourceLangId == 'literate rzk markdown'",
          "command": "markdown.showPreviewToSide",
          "alt": "markdown.showPreview",
          "group": "navigation"
        }
      ]
    },
    "commands": [
      {
        "command": "rzk.clearLocalInstallations",
        "title": "Rzk: Clear local Rzk installation"
      },
      {
        "command": "rzk.restartLspServer",
        "title": "Rzk: Restart LSP server"
      }
    ],
    "yamlValidation": [
      {
        "fileMatch": "rzk.yaml",
        "url": "./rzk-config-schema.json"
      }
    ]
  },
  "devDependencies": {
    "@types/node": "^20.3.1",
    "@types/semver": "^7.5.0",
    "@types/tar": "^6.1.5",
    "@types/vscode": "^1.79.1",
    "esbuild": "^0.18.11",
    "js-yaml": "^4.1.0",
    "typescript": "^5.1.3"
  },
  "dependencies": {
    "@octokit/rest": "^19.0.13",
    "semver": "^7.5.3",
    "tar": "^6.1.15",
    "vscode-languageclient": "^8.1.0"
  }
}