From d649beebb4b301fd5b481243d0b486dd15361935 Mon Sep 17 00:00:00 2001 From: eti Date: Wed, 2 Sep 2026 16:35:27 +0200 Subject: [PATCH] web/repo: rework the PR diff file tree and card chrome Signed-off-by: eti --- .../lib/components/repo/DiffCardChrome.svelte | 6 +- .../lib/components/repo/DiffFileTree.svelte | 43 +++++------ web/src/lib/components/repo/DiffTopbar.svelte | 4 +- web/src/lib/components/repo/pierreDiff.css | 10 +-- .../lib/components/repo/pulls/PullDiff.svelte | 73 ++++++++++++------- .../repo/pulls/PullDiffFileCard.svelte | 6 +- .../repo/pulls/PullDiffFiles.svelte | 2 +- 7 files changed, 83 insertions(+), 61 deletions(-) diff --git a/web/src/lib/components/repo/DiffCardChrome.svelte b/web/src/lib/components/repo/DiffCardChrome.svelte index cc378489f..88faf6c12 100644 --- a/web/src/lib/components/repo/DiffCardChrome.svelte +++ b/web/src/lib/components/repo/DiffCardChrome.svelte @@ -32,7 +32,7 @@ }: Props = $props(); -
+
-
+
{#if open}