Keep TUI sidebar selections visible.

2026-08-07 15:32:00 +02:00
parent 358648378e
commit 0417aaf749
3 changed files with 53 additions and 12 deletions
--- a/specs/tui.allium
+++ b/specs/tui.allium
@@ -53,6 +53,9 @@ surface TuiSurface {
        -- viewport width, keeps the cursor's visual row visible while
        -- scrolling, and highlights the cursor's source line. There is
        -- no line-number gutter.
+
+    @guarantee SidebarSelectionVisibility
+        -- The sidebar viewport follows the selected entry.
 }

 -- ─── Sidebar navigation ─────────────────────────────────────