From 833716046de9b3ee8e4f277f383967c0d35ba28a Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Thu, 23 May 2024 13:35:30 -0500 Subject: Irrelevant TODO --- lib/headlines.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib') diff --git a/lib/headlines.ml b/lib/headlines.ml index 17241ee..94e7709 100644 --- a/lib/headlines.ml +++ b/lib/headlines.ml @@ -77,7 +77,7 @@ let rec render and elements = Array.mapi (fun i el -> - if i + 1 == y - scroll (* TODO: Should be reverse *) + if i + 1 == y - scroll then I.strf "%s" el |> I.pad ~l:2 ~t:(i + content_start) else I.strf "%s" el |> I.pad ~l:2 ~t:(i + content_start)) (Basic.array_drop scroll content_pretty) -- cgit v1.2.3