Builder
47
Installation
Exploring the Interface
Projects
Extensions
Enabling and Disabling Extensions
Creating Your First Extension
Extending the Workbench
Extending the Greeter
Extending the Editor
Extending the Editor Page
Managing Buffers
Syntax Highlighting
Diagnostics and Fix-Its
Providing Completion Proposals
Snippets
File Settings and Indentation
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
Session Tracking
Extending Application Menus
Registering Application Preferences
Managing Worker Processes
Integrating Version Control
How-To Guides
Troubleshooting
Contributing
Credits
Builder
Extensions
Extending the Editor
File Settings and Indentation
View page source
File Settings and Indentation