Code Tools
Add type checks, a browser workbench and your own GitHub identity to the work Chetty does in a Project.
The three plugins below are optional and install from the registry under Settings → Available plugins. Project and tool permissions still apply.
What each plugin adds
Language Server (LSP) adds six read-only tools for diagnostics, navigation and symbols, answered by a real language server instead of a text search. Read Type checks and code navigation.
Editor adds a browser workbench for Project files, with previews and read-only Git history. Read Edit and save a file.
GitHub adds no tools of its own. It maps a Project to a repository, so the terminal commands in that Project run as your own GitHub account. Read Connect GitHub to a Project.
What the Editor shows
The workbench opens files in a code editor and previews Markdown, images, PDF, media, Office and CSV files. Git history there is read-only.
A managed Project offers two roots. Project is the Project's own folder, and System is the whole persistent environment filesystem, which anyone who can open the Project can browse. Administrators also get a System root for the host's persisted filesystem.
A paired computer works the same way: there Project is the directory that computer's connection runs in, and System is that computer's filesystem root. Turning the plugin off removes the editor, while registering a Project and a task's Git history keep working.
Note: System in a managed Project shows the whole environment filesystem to anyone who can open that Project, so do not treat it as private.
What a GitHub mapping does
The plugin connects your own GitHub identity and maps a Project to a repository, so git and gh in that Project run as you, and published branches and pull requests are yours. Only the account that created a mapping can use its credentials, and that account or an administrator can remove it.
Warning: In a managed container, members of a Project that shares a mapping can see your GitHub token in running processes. Share a mapping only with people you trust.
Related guides
Read Type checks and code navigation for the language-server tools, Edit and save a file for the workbench itself, and Projects overview for Project access and repositories.
Each plugin's registry entry lists its current version and the Chetty version it needs: Language Server (LSP), Editor and GitHub.