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.
This commit is contained in:
Manuel Cillero 2025-07-20 23:51:15 +02:00
parent f4e142a242
commit 86e4c4f110
13 changed files with 148 additions and 5 deletions

3
src/base.rs Normal file
View file

@ -0,0 +1,3 @@
//! Reúne temas listos para usar.
pub mod theme;