diff options
| author | Ben Sima <ben@bensima.com> | 2025-12-01 23:02:17 -0500 |
|---|---|---|
| committer | Ben Sima <ben@bensima.com> | 2025-12-01 23:02:17 -0500 |
| commit | 90b6b21990df76051a9f639cd7596ec3e93de564 (patch) | |
| tree | 8365faa1e5bac59f864f5b16d24792b270add7a1 /Omni/Jr/Web | |
| parent | 0c3b77c06028205aac0184973037355689fc3c9e (diff) | |
fix: lint Admin.py after refactor
Diffstat (limited to 'Omni/Jr/Web')
| -rw-r--r-- | Omni/Jr/Web/Components.hs | 20 | ||||
| -rw-r--r-- | Omni/Jr/Web/Style.hs | 15 |
2 files changed, 27 insertions, 8 deletions
diff --git a/Omni/Jr/Web/Components.hs b/Omni/Jr/Web/Components.hs index 2f885ce..ac36131 100644 --- a/Omni/Jr/Web/Components.hs +++ b/Omni/Jr/Web/Components.hs @@ -1730,14 +1730,22 @@ timelineScrollScript = ] ( Text.unlines [ "(function() {", - " if (typeof autoscrollEnabled !== 'undefined' && !autoscrollEnabled) return;", - " var log = document.querySelector('.timeline-events');", - " if (log) {", - " var isNearBottom = log.scrollHeight - log.scrollTop - log.clientHeight < 100;", - " if (isNearBottom) {", - " log.scrollTop = log.scrollHeight;", + " function scrollToBottom() {", + " if (typeof autoscrollEnabled !== 'undefined' && !autoscrollEnabled) return;", + " var log = document.querySelector('.timeline-events');", + " if (log) {", + " var isNearBottom = log.scrollHeight - log.scrollTop - log.clientHeight < 100;", + " if (isNearBottom) {", + " log.scrollTop = log.scrollHeight;", + " }", " }", " }", + " scrollToBottom();", + " document.body.addEventListener('htmx:afterSwap', function(e) {", + " if (e.target.closest('.timeline-events') || e.target.classList.contains('timeline-events')) {", + " scrollToBottom();", + " }", + " });", "})();" ] ) diff --git a/Omni/Jr/Web/Style.hs b/Omni/Jr/Web/Style.hs index ee5136e..f75b33c 100644 --- a/Omni/Jr/Web/Style.hs +++ b/Omni/Jr/Web/Style.hs @@ -2199,9 +2199,20 @@ darkModeStyles = backgroundColor "#374151" color "#d1d5db" ".thought-bubble" ? do - backgroundColor "#44403c" - color "#d6d3d1" + backgroundColor "#292524" + color "#a8a29e" + borderRadius (px 2) (px 2) (px 2) (px 2) ".event-label" ? color "#d1d5db" + ".tool-bash-cmd" ? do + backgroundColor "#292524" + color "#a8a29e" + ".tool-label" ? color "#9ca3af" + ".tool-path" ? color "#60a5fa" + ".tool-pattern" ? do + backgroundColor "#3b2f5e" + color "#c4b5fd" + ".output-collapsible" |> "summary" ? color "#60a5fa" + ".timeline-tool-call" |> "summary" # before ? color "#9ca3af" ".line-count" ? do backgroundColor "#374151" color "#9ca3af" |
