From 16bf6dd51562a42a34d18254b985281970c26091 Mon Sep 17 00:00:00 2001 From: "Michael D. Lowis" Date: Fri, 10 Nov 2017 21:04:42 -0500 Subject: [PATCH] fixed up scroll parameters --- edit.ml | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/edit.ml b/edit.ml index b53ba94..f690825 100644 --- a/edit.ml +++ b/edit.ml @@ -30,9 +30,11 @@ module View = struct let scroll_dn view = { view with map = Scrollmap.scroll_dn view.map view.buf } - let visible view = - (float_of_int view.num) /. (float_of_int (Buf.length view.buf)) - + let scroll_params view = + let length = float_of_int (Buf.length view.buf) + and first = float_of_int (Scrollmap.first view.map) + and nvisible = float_of_int view.num in + ((first /. length), (nvisible /. length)) end let tags_buf = ref Buf.empty @@ -63,7 +65,7 @@ let onupdate width height = let scrollcsr = (Draw.Cursor.clone csr) in Draw.Cursor.move_x csr 15; edit_view := View.draw !edit_view csr; - Draw.scroll scrollcsr (View.visible !edit_view) + Draw.scroll scrollcsr (View.scroll_params !edit_view) let onshutdown () = () -- 2.52.0