This page has been merged into the documentation overview
- Overview
- Getting Started
- Project Goals
- Using the Theia IDE
- Getting Started
- Installing VS Code Extensions
- Using the dynamic Toolbar
- 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
- Platform Concepts & APIs
- Services and Contributions
- Architecture Overview
- Commands/Menus/Keybindings
- Widgets
- Preferences
- Label Provider
- Message Service
- Property View
- Events
- Frontend Application Contributions
- Backend Application Contributions
- Communication via JSON-RPC
- Tasks
- Internationalization
- Language Support
- Dynamic Toolbar
- Breadcrumbs
- Enhanced Tab Bar Preview
- Contribution Filter
- Advanced Tips