Manuel Cillero 861392430a ✨ Añade soporte a temas en la API de extensiones ... - Incluye una opción de configuración para definir el tema por defecto. - Añade un tema básico predeterminado.		2025-07-20 23:51:15 +02:00
..
theme	✨ Añade soporte a temas en la API de extensiones	2025-07-20 23:51:15 +02:00
theme.rs	✨ Añade soporte a temas en la API de extensiones	2025-07-20 23:51:15 +02:00