Difference between revisions of "Tools"
(2 intermediate revisions by 2 users not shown) | |||
Line 12: | Line 12: | ||
=== VS Code Language Module === | === VS Code Language Module === | ||
− | https:// | + | https://marketplace.visualstudio.com/items?itemName=chaos95.miniscript |
+ | |||
+ | or on GitHub: https://github.com/chaos95/miniscript-syntax | ||
Provides MiniScript syntax highlighting for Visual Studio Code. | Provides MiniScript syntax highlighting for Visual Studio Code. | ||
+ | |||
+ | === BBEdit Language Module === | ||
+ | https://github.com/JoeStrout/miniscript-bbedit-lang-mod | ||
+ | |||
+ | Provides MiniScript syntax highlighting for the BBEdit text editor for macOS. | ||
== Syntax Coloring for the Web == | == Syntax Coloring for the Web == | ||
Line 22: | Line 29: | ||
Fork of the Pygments syntax-coloring library which adds support for MiniScript. | Fork of the Pygments syntax-coloring library which adds support for MiniScript. | ||
− | [https://github.com/pygments/pygments/pull/1397 | + | [https://github.com/pygments/pygments/pull/1397 Merged] into the main Pygments repo on Feb. 29, 2020. |
=== Highlight.js Package === | === Highlight.js Package === |
Latest revision as of 15:25, 2 November 2022
This page lists some external tools that work well with MiniScript.
See also Open-Source Projects.
Contents
Source Code Editors
NotePad++ UDL
https://github.com/SynapticBytes/MiniScript-UDL-for-Notepad-plus-plus
User-Defined Language for the NotePad++ text editor for Windows.
VS Code Language Module
https://marketplace.visualstudio.com/items?itemName=chaos95.miniscript
or on GitHub: https://github.com/chaos95/miniscript-syntax
Provides MiniScript syntax highlighting for Visual Studio Code.
BBEdit Language Module
https://github.com/JoeStrout/miniscript-bbedit-lang-mod
Provides MiniScript syntax highlighting for the BBEdit text editor for macOS.
Syntax Coloring for the Web
Pygments fork
https://github.com/JoeStrout/pygments
Fork of the Pygments syntax-coloring library which adds support for MiniScript. Merged into the main Pygments repo on Feb. 29, 2020.
Highlight.js Package
https://github.com/JoeStrout/highlightjs-miniscript
Add-on language module for Highlight.js.