From 482e8b80fa66e328e252567c915f5e96e727f7cf Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Tue, 23 Jan 2024 18:08:56 +0100 Subject: feat: add simple status bar with timed status message support --- lib/editorBuffer.ml | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) (limited to 'lib/editorBuffer.ml') diff --git a/lib/editorBuffer.ml b/lib/editorBuffer.ml index e1706dd..c492b8b 100644 --- a/lib/editorBuffer.ml +++ b/lib/editorBuffer.ml @@ -21,6 +21,18 @@ let empty = rendered = push Sequence.empty empty; } +let kind b = b.kind + +let string_of_kind = function + | No_name -> "[No Name]" + | Scratch -> "[Scratch]" + | File name -> name + +let size e = + match e.content with + | Error _ -> (0, 0) + | Ok z -> (length z, apply_focus_or ~default:0 length z) + let render = let open Sequence in let tabsize = 8 in @@ -235,7 +247,7 @@ let unrendered_view x y h w b = let rendered_view x y h w b = let window from len seq = Sequence.(take (drop_eagerly seq from) len) in - let cx, _ = cursor b in + let cx, _ = cursor ~rendered:false b in context ~l:(cx - x) ~r:(x + h - cx) b.rendered |> to_seq |> Sequence.map ~f:(window y w) -- cgit v1.2.3