From 0c3b77c06028205aac0184973037355689fc3c9e Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bensima.com>
Date: Mon, 1 Dec 2025 22:28:30 -0500
Subject: Compact amp-style timeline rendering and targeted file reading
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Timeline tool display:
- Grep/search: ✓ Grep pattern in filepath
- Read file: ✓ Read filepath @start-end
- Edit file: ✓ Edit filepath
- Bash: ϟ command (lightning bolt prompt)
- Tool results only shown for meaningful output

New search_and_read tool:
- Combines search + read in one operation
- Uses ripgrep --context for surrounding lines
- More efficient than separate search then read

Worker prompt updated to prefer search_and_read over
separate search + read_file calls
---
 Omni/Jr/Web/Style.hs | 64 ++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 64 insertions(+)

(limited to 'Omni/Jr/Web/Style.hs')

diff --git a/Omni/Jr/Web/Style.hs b/Omni/Jr/Web/Style.hs
index 0f4b300..ee5136e 100644
--- a/Omni/Jr/Web/Style.hs
+++ b/Omni/Jr/Web/Style.hs
@@ -1815,6 +1815,70 @@ unifiedTimelineStyles = do
     fontFamily ["SF Mono", "Monaco", "Consolas", "monospace"] [monospace]
     whiteSpace preWrap
     overflowWrap breakWord
+  compactToolStyles
+
+compactToolStyles :: Css
+compactToolStyles = do
+  ".tool-compact" ? do
+    display flex
+    alignItems center
+    Stylesheet.key "gap" ("6px" :: Text)
+    fontFamily ["SF Mono", "Monaco", "Consolas", "monospace"] [monospace]
+    fontSize (px 12)
+    padding (px 2) (px 0) (px 2) (px 0)
+  ".tool-check" ? do
+    color "#10b981"
+    fontWeight bold
+  ".tool-label" ? do
+    color "#6b7280"
+    fontWeight (weight 500)
+  ".tool-path" ? do
+    color "#3b82f6"
+  ".tool-pattern" ? do
+    color "#8b5cf6"
+    backgroundColor "#f5f3ff"
+    padding (px 1) (px 4) (px 1) (px 4)
+    borderRadius (px 2) (px 2) (px 2) (px 2)
+  ".tool-path-suffix" ? do
+    color "#6b7280"
+    fontSize (px 11)
+  ".tool-bash" ? do
+    display flex
+    alignItems flexStart
+    Stylesheet.key "gap" ("6px" :: Text)
+    fontFamily ["SF Mono", "Monaco", "Consolas", "monospace"] [monospace]
+    fontSize (px 12)
+    padding (px 2) (px 0) (px 2) (px 0)
+  ".tool-bash-prompt" ? do
+    color "#f59e0b"
+    fontWeight bold
+    fontSize (px 14)
+  ".tool-bash-cmd" ? do
+    color "#374151"
+    backgroundColor "#f3f4f6"
+    padding (px 2) (px 6) (px 2) (px 6)
+    borderRadius (px 3) (px 3) (px 3) (px 3)
+    wordBreak breakAll
+  ".tool-generic" ? do
+    fontSize (px 12)
+    fontFamily ["SF Mono", "Monaco", "Consolas", "monospace"] [monospace]
+  ".tool-generic" |> "summary" ? do
+    cursor pointer
+    display flex
+    alignItems center
+    Stylesheet.key "gap" ("6px" :: Text)
+  ".tool-args-pre" ? do
+    margin (px 4) (px 0) (px 0) (px 16)
+    padding (px 6) (px 8) (px 6) (px 8)
+    backgroundColor "#f9fafb"
+    borderRadius (px 3) (px 3) (px 3) (px 3)
+    fontSize (px 11)
+    whiteSpace preWrap
+    maxHeight (px 200)
+    overflowY auto
+  ".tool-result-output" ? do
+    marginLeft (px 16)
+    marginTop (px 2)
 
 responsiveStyles :: Css
 responsiveStyles = do
-- 
cgit v1.2.3