From 48a65104095a036478515d642680150896f92c5e Mon Sep 17 00:00:00 2001 From: rand00 Date: Thu, 13 Jan 2022 12:06:03 +0100 Subject: [PATCH] Opam_graph: UI: New radius calculation for layer2 deps bg that is a tighter fit --- src/opam_graph.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/opam_graph.ml b/src/opam_graph.ml index a343490..ad02f64 100644 --- a/src/opam_graph.ml +++ b/src/opam_graph.ml @@ -370,7 +370,7 @@ line { let bg = let pos = { x = V2.x layer2_deps_center; y = V2.y layer2_deps_center } - and radius = float (List.length layer2_deps) *. 0.003 + and radius = sqrt (float (List.length layer2_deps) +. 1.) *. 0.009 and text = "" and classes = [ "layer2_deps"; "bg" ] in make_node ~pos ~radius ~text ~classes