From 87dcfa6edd43316068347ff5b8f23c76bdc7b472 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Thu, 30 May 2024 10:04:25 -0500 Subject: Add half-screen down/up scrolling --- lib/basic.ml | 1 - 1 file changed, 1 deletion(-) (limited to 'lib/basic.ml') diff --git a/lib/basic.ml b/lib/basic.ml index 76b6863..94838ab 100644 --- a/lib/basic.ml +++ b/lib/basic.ml @@ -1,3 +1,2 @@ let array_drop n arr = if Array.length arr < n then [||] else Array.sub arr n (max (Array.length arr - n) 0) - -- cgit v1.2.3