Home

Jump to bottom

Violet edited this page Oct 26, 2019 · 2 revisions

User guide

Settings
Plugins
- Formatting
  - Indent and prettify
- Highlighters
  - Compatibility highlighter
  - Path highlighter

Development

Information for developers and curious users.

The contents of this wiki are licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.

Toggle table of contents Pages 7

User guide

Settings
Plugins - Formatting
- Indent and prettify
Plugins - Highlighters
- Compatibility highlighter
- Path highlighter

Development

Clone this wiki locally