From e57d29c39da80f9ef9cb68a9322ad2c4254f2d80 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Thu, 16 May 2024 08:51:04 -0500 Subject: Fix regexp being empty error. Just display nothing for now --- lib/done.ml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'lib/done.ml') diff --git a/lib/done.ml b/lib/done.ml index 2c97dd3..8a69601 100644 --- a/lib/done.ml +++ b/lib/done.ml @@ -40,7 +40,10 @@ let rec render let x, y = pos in let content_position = y - content_start in let img = - let dot = I.string A.(st bold) ">" |> I.pad ~l:0 ~t:(y - scroll) + let dot = + if Array.length content_pretty = 0 + then I.empty + else I.string A.(st bold) ">" |> I.pad ~l:0 ~t:(y - scroll) and elements = Array.mapi (fun i el -> -- cgit v1.2.3