diff options
Diffstat (limited to 'Omni')
| -rw-r--r-- | Omni/Bild/Builder.nix | 2 | ||||
| -rw-r--r-- | Omni/Jr/Web/Components.hs | 20 | ||||
| -rw-r--r-- | Omni/Jr/Web/Style.hs | 15 |
3 files changed, 29 insertions, 8 deletions
diff --git a/Omni/Bild/Builder.nix b/Omni/Bild/Builder.nix index 1191eca..9ede3b8 100644 --- a/Omni/Bild/Builder.nix +++ b/Omni/Bild/Builder.nix @@ -280,6 +280,8 @@ with bild; let python = python.buildPythonApplication rec { inherit name src CODEROOT; + pyproject = true; + build-system = [python.packages.setuptools]; nativeBuildInputs = [makeWrapper]; propagatedBuildInputs = langdeps_ ++ sysdeps_ ++ rundeps_; buildInputs = sysdeps_; 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" |