Settings
Settings open from the topbar and group the app’s configuration into several tabs.
Appearance
Section titled “Appearance”- Color palette and theme (light/dark), which apply instantly.
- Font (system or monospace) and interface zoom.
- Language.
- Log line limit on screen (the file keeps everything; the limit is only what’s kept in memory).
- Follow the log tail by default when launching a scenario.
- Metrics history of the Status tab.
- Automatic saving in the editors (mocks, scenarios, micros). If disabled, you save with the Save button.
- Compact rails (icons only).
- Workspace — the folder with the micros’ repos.
- docker-compose — the one bundled with MicroLab (recommended) or your own.
- Mock server port.
- Token for OpenAPI — sent as
Authorization: Bearerwhen downloading protected OpenAPI documents (for example from DEV).
Credentials
Section titled “Credentials”The secrets you reference as ${creds.key} in manifests, dependencies and databases. They
are saved outside Git (settings.local.yml). See The workspace and
.microlab/.
Catalog
Section titled “Catalog”Export or import the whole catalog (micros, scenarios and startup customization) in
a single file, to move it to another machine. From the CLI: microlab bundle export|import.
Shortcuts
Section titled “Shortcuts”The keyboard shortcuts reference, also available at any time with the
? key.
Privacy
Section titled “Privacy”The status of the diagnostic telemetry (opt-out) and the form to report a problem to the team. Your micros’ logs and business data are never sent.
The installed version and the updates check (MicroLab also checks on startup). See Install.
Git connections
Section titled “Git connections”Link accounts (GitHub, GitLab or another) so MicroLab can update the micros’ repos. Access is read-only (fetch and branch switching; never push). It’s used when importing a micro from Git and when switching branches.