robur/builder-web
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

diff view: translate \n to <br> #8

Merged
reynir merged 2 commits from fix into main 2025-01-08 16:00:55 +00:00
Conversation 3 Commits 2 Files changed 1 +5 -1
1 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files
Showing only changes of commit 0a025adaae - Show all commits

6
lib/views.ml
View file

@ -827,9 +827,13 @@ let duniverse_diffs diffs =
let opam_diffs diffs = let opam_diffs diffs =
List.concat_map (fun pd -> List.concat_map (fun pd ->
let diff =
List.concat_map (fun line -> [ H.txt line ; H.br () ])
(String.split_on_char '\n' pd.Opamdiff.diff)
in
H.h4 [ txtf "%a" Opamdiff.pp_opam_diff pd ] :: H.h4 [ txtf "%a" Opamdiff.pp_opam_diff pd ] ::
H.h5 [ H.txt "diff" ] :: H.h5 [ H.txt "diff" ] ::
H.code [ H.txt pd.diff ; H.br () ] :: []) H.code diff :: [])
diffs diffs
let compare_builds let compare_builds