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/headlines.ml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'lib/headlines.ml') diff --git a/lib/headlines.ml b/lib/headlines.ml index 31be26c..04b4267 100644 --- a/lib/headlines.ml +++ b/lib/headlines.ml @@ -41,7 +41,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