Ctrl+K
- Overview
- Getting Started
- Project Goals
- Theia FAQ
- Using the Theia IDE
- Getting Started
- Installing VS Code Extensions
- Using AI Features
- Theia Coder (AI assistant)
- Environment Variables
- Using the dynamic Toolbar
- Workspace Trust
- Data Usage & Telemetry
- Download
- Adopting the Theia Platform
- Build your own IDE/Tool
- Extending the Theia IDE
- Extensions and Plugins
- Authoring Theia Extensions
- Authoring VS Code Extensions
- Consuming Theia fixes without upgrading
- Theia API Documentation
- Platform Concepts & APIs
- Services and Contributions
- Architecture Overview
- Commands/Menus/Keybindings
- Widgets
- Perspectives
- Custom Editors
- Preferences
- Theia AI
- Label Provider
- Message Service
- Property View
- Tree Widget
- Events
- Frontend Application Contributions
- Backend Application Contributions
- Communication via JSON-RPC
- Telemetry
- Tasks
- Internationalization
- Language Support
- Dynamic Toolbar
- Breadcrumbs
- Enhanced Tab Bar Preview
- Contribution Filter
- Advanced Tips
