dev-tools
extension
Developer tools for workspace diagnostics and environment inspection
developerdiagnosticsenvironment
v0.1.1 ↓ Download .tgz
Open Settings → Add-Ons and pick dev-tools
Source: addons/dev-tools

Developer tools for workspace diagnostics and environment inspection

Install

Open Settings → Add-Ons and install dev-tools from the catalog.

Features