Skip to content

Commit

Permalink
Editor Integration: Update build systems note
Browse files Browse the repository at this point in the history
  • Loading branch information
Sainan committed Jul 31, 2024
1 parent 4a9744a commit 5056345
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/Editor Integration.md
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ Although Pluto can theoretically be used with Lua-based tooling, we provide spec
- Snippets — e.g. for when you type "fun" and press tab
- Comment Information — for editor features such as "Toggle Comment", "Toggle Block Comment"
- Indentation Rules — for editor features such as "Reindent Lines"
- Build Systems — currently Sublime Text only: when you press Ctrl+B, you can choose "Lint Pluto" or "Run Pluto"
- Build Systems — run & lint scripts directly in your editor with Ctrl+(Shift+)B in Sublime Text or Ctrl+Shift+P in VS Code

## Installation

Expand Down

0 comments on commit 5056345

Please sign in to comment.