Ajustes
Los Ajustes se abren desde el topbar y agrupan la configuración de la app en varias pestañas.
Apariencia
Sección titulada «Apariencia»- Paleta de color y tema (claro/oscuro), que se aplican al instante.
- Fuente (sistema o monoespaciada) y zoom de la interfaz.
- Idioma.
- Límite de líneas de log en pantalla (el fichero conserva todo; el límite es solo lo que se mantiene en memoria).
- Seguir la cola de logs por defecto al iniciar un escenario.
- Historial de métricas de la pestaña Estado.
- Guardado automático en los editores (mocks, escenarios, micros). Si se desactiva, se guarda con el botón Guardar.
- Railes compactos (solo iconos).
- Espacio de trabajo — la carpeta con los repos de los micros.
- docker-compose — el incluido con MicroLab (recomendado) o uno propio.
- Puerto del servidor de mocks.
- Token para OpenAPI — se envía como
Authorization: Beareral descargar documentos OpenAPI protegidos (por ejemplo de DEV).
Credenciales
Sección titulada «Credenciales»Los secretos que referencias como ${creds.clave} en manifiestos, dependencias y
bases de datos. Se guardan fuera de Git (settings.local.yml). Ver
El espacio de trabajo y .microlab/.
Catálogo
Sección titulada «Catálogo»Exportar o importar todo el catálogo (micros, escenarios y personalización de
arranque) en un único fichero, para trasladarlo a otra máquina. Desde el CLI:
microlab bundle export|import.
La referencia de atajos de teclado, también disponible en cualquier
momento con la tecla ?.
Privacidad
Sección titulada «Privacidad»El estado de la telemetría de diagnóstico (opt-out) y el formulario para informar de un problema al equipo. Nunca se envían los logs de tus micros ni datos de negocio.
Acerca de
Sección titulada «Acerca de»La versión instalada y la comprobación de actualizaciones (MicroLab también las comprueba solo al iniciarse). Ver Instalar.
Conexiones Git
Sección titulada «Conexiones Git»Enlazar cuentas (GitHub, GitLab u otro) para que MicroLab pueda actualizar los repos de los micros. El acceso es de solo lectura (fetch y cambio de rama; nunca push). Se usa al importar un micro desde Git y al cambiar de rama.