Sergio
be3a0e78fc
Iter 16. Patrón con 4 consumers idénticos: nakui-explorer, nouser-explorer, minga-explorer, brahman-broker-explorer todos declaraban un header flex_row + flex_grow(label) + theme_switcher + bg(panel) + border-bottom + text_size(14) + padding(16/12). Ahora es 1 línea. crates/modules/ui_engine/widgets/app-header/: - pub fn app_header(cx, label: impl Into<SharedString>) -> impl IntoElement. - pub fn app_header_with(cx, label_child: impl IntoElement) — variante para left side no-text. - 3 tests #[gpui::test]. Migración 4 consumers: - Cada uno: bloque de ~13 líneas → 1 línea app_header(cx, text). - Borra dep yahweh-widget-theme-switcher (incluida vía app-header). - Reemplaza import. Ahorro ~50 líneas UI hardcoded. Cambios visuales del header (padding, border, text_size) en un solo lugar. Decisión: sidebar header del MetaApp NO se migra — es de sidebar, no de app top, styling distinto. Diferente patrón → diferente widget. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
19 lines
737 B
TOML
19 lines
737 B
TOML
[package]
|
|
name = "minga-explorer"
|
|
version.workspace = true
|
|
edition.workspace = true
|
|
license.workspace = true
|
|
description = "Dashboard GPUI del repo Minga: counts de nodos AST, atestaciones, claves MST, refresh por polling. Lee sled directo (sin passphrase). Standalone."
|
|
|
|
[dependencies]
|
|
minga-store = { path = "../../modules/semantic_dht/minga-store" }
|
|
yahweh-theme = { path = "../../modules/ui_engine/libs/theme" }
|
|
yahweh-widget-banner = { path = "../../modules/ui_engine/widgets/banner" }
|
|
yahweh-widget-stat-card = { path = "../../modules/ui_engine/widgets/stat-card" }
|
|
yahweh-widget-app-header = { path = "../../modules/ui_engine/widgets/app-header" }
|
|
gpui = { workspace = true }
|
|
|
|
[[bin]]
|
|
name = "minga-explorer"
|
|
path = "src/main.rs"
|