diff options
| author | Ben Sima <ben@bensima.com> | 2025-12-01 14:49:41 -0500 |
|---|---|---|
| committer | Ben Sima <ben@bensima.com> | 2025-12-01 14:49:41 -0500 |
| commit | cafebd24adab1d926e8531c22d7477d62d4596ff (patch) | |
| tree | 7d9c08380f62889a90eed6b47efca3959f0648bb /Omni/Jr/Web | |
| parent | 5a2f926d3050f69f4b6368a7b2db8a00d8464e28 (diff) | |
Clicking LIVE label toggles live updates on/off
- Add clickable LIVE toggle button that pauses/resumes timeline polling
- Green pulsing when active, grey when paused
- Uses htmx:beforeRequest event to cancel requests when paused
- Increase duplicate tool call guardrail from 20 to 30
Task-Id: t-211
Diffstat (limited to 'Omni/Jr/Web')
| -rw-r--r-- | Omni/Jr/Web/Style.hs | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/Omni/Jr/Web/Style.hs b/Omni/Jr/Web/Style.hs index bb74ce9..cf32570 100644 --- a/Omni/Jr/Web/Style.hs +++ b/Omni/Jr/Web/Style.hs @@ -1577,6 +1577,26 @@ unifiedTimelineStyles = do marginTop (em 1.5) paddingTop (em 1) borderTop (px 1) solid "#e5e7eb" + ".timeline-live-toggle" ? do + fontSize (px 10) + fontWeight bold + color "#10b981" + backgroundColor "#d1fae5" + padding (px 2) (px 6) (px 2) (px 6) + borderRadius (px 10) (px 10) (px 10) (px 10) + marginLeft (px 8) + textTransform uppercase + border (px 1) solid "#6ee7b7" + cursor pointer + Stylesheet.key "transition" ("all 0.3s ease" :: Text) + Stylesheet.key "animation" ("pulse 2s infinite" :: Text) + ".timeline-live-toggle:hover" ? do + Stylesheet.key "box-shadow" ("0 0 8px rgba(16,185,129,0.4)" :: Text) + ".timeline-live-toggle.timeline-live-paused" ? do + color "#6b7280" + backgroundColor "#f3f4f6" + border (px 1) solid "#d1d5db" + Stylesheet.key "animation" ("none" :: Text) ".timeline-live" ? do fontSize (px 10) fontWeight bold |
