SATySFi Workshop

This extension provides language support for SATySFi.

Note: This project is forked from wraikny/vscode-satysfi.

Features

Building

You can build your SATySFi documents from the button (top right) and keyboard shortcuts (ctrl/cmd + alt + b). You can also set it to build automatically when you save the file.

Note: This extension does not include a pdf viewer. If you need it, please install vscode-pdf or LaTeX Workshop etc.

Type Checking

Type checking can be performed automatically when typing or saving a document.

Package Completion

Package name completion based on SATySFi installation.

Language Server Support

The language server provides completion and explanation of commands and variables.

This extension does not include the language server itself. You have to clone & build monaqa/satysfi-language-server on your own and configure as follows.

{
  "satysfi-workshop.languageServer.enabled": true,
  "satysfi-workshop.languageServer.path": "/path/to/language server"
}

Math Preview

Preview the formula by hovering the mouse cursor over it.

To use this feature, you need to install pdf2svg, which can be installed with apt (Ubuntu/WSL) or Homebrew (macOS). Here is an example configuration:

{
  "satysfi-workshop.mathPreview.when": "onHover"
}

Credits

I would like to express my gratitude to @wraikny, the original author of vscode-satysfi.

License

Apache License 2.0, See LICENSE for more information.