Builder
3.25
Installation
Exploring the Interface
Projects
Plugins
Creating Your First Plugin
Extending the Workbench
The Basics
Registering Workbench Actions
Adding Widgets to the Header Bar
Adding Widgets to the Workbench
Registering Perspectives
Registering Panels
Extending the Greeter
Extending the Editor
Symbols and Semantic Analysis
Extending the Build Pipeline
Processes and Containers
Extending the Device Manager
Extending the Run Manager
Registering Keybindings
Integrating Language Servers
Extending Project Search
Extending Application Menus
Registering Application Preferences
Creating and Performing Transfers
Managing Worker Processes
Integrating Version Control
API
Contributing
Credits
Builder
Docs
»
Plugins
»
Extending the Workbench
View page source
Extending the Workbench
ΒΆ
The Basics
Registering Workbench Actions
Adding Widgets to the Header Bar
Adding Widgets to the Workbench
Registering Perspectives
Registering Panels