diff options
author | Marc Coquand <marc@mccd.space> | 2024-05-13 13:35:36 -0500 |
---|---|---|
committer | Marc Coquand <marc@mccd.space> | 2024-05-13 13:35:36 -0500 |
commit | fde592dbbb97a89a498feb95f97bee674bd571e8 (patch) | |
tree | a5eb1e01a897bdb68ab4690ae75d07ca76dc8cec /lib/headlines.ml | |
parent | 2b47b301cbf234eabfcebd28f069e5d154441354 (diff) | |
download | stitch-fde592dbbb97a89a498feb95f97bee674bd571e8.tar.gz stitch-fde592dbbb97a89a498feb95f97bee674bd571e8.tar.bz2 stitch-fde592dbbb97a89a498feb95f97bee674bd571e8.zip |
Refactor
Diffstat (limited to '')
-rw-r--r-- | lib/headlines.ml | 79 |
1 files changed, 79 insertions, 0 deletions
diff --git a/lib/headlines.ml b/lib/headlines.ml new file mode 100644 index 0000000..8fab7f6 --- /dev/null +++ b/lib/headlines.ml @@ -0,0 +1,79 @@ +module Grep = Grep +module Common = Common +open Notty + +let content = Grep.get_headlines () |> Grep.parse_headlines +let content_pretty = content |> Grep.pretty_format + +let rec headline_screen t (((x, y) as pos), scroll) = + let img = + let dot = I.string A.(fg black) ">" |> I.pad ~l:0 ~t:(y - scroll) + and elements = + Array.mapi + (fun i el -> I.strf ~attr:A.(fg black) "%s" el |> I.pad ~l:2 ~t:i) + (Array.to_seq content_pretty |> Seq.drop scroll |> Array.of_seq) + in + let open I in + Array.fold_left (fun sum el -> el </> sum) dot elements + in + let _, size_y = Common.Term.size t in + Common.Term.image t img; + let content_length = Array.length content_pretty in + let scroll_up () = + let scroll = if y - scroll = 0 then max (scroll - 1) 0 else scroll in + headline_screen t @@ ((x, max (y - 1) 0), scroll) + in + let scroll_down () = + let scroll = if y - scroll >= size_y - 1 then scroll + 1 else scroll in + headline_screen t @@ ((x, min (y + 1) content_length), scroll) + in + match Common.Term.event t with + | `End | `Key (`Escape, []) | `Key (`ASCII 'q', []) | `Key (`ASCII 'C', [ `Ctrl ]) -> () + | `Mouse (`Press (`Scroll s), _, _) -> + (match s with + | `Down -> scroll_down () + | `Up -> scroll_up ()) + | `Resize _ -> headline_screen t (pos, scroll) + | `Mouse ((`Press _ | `Drag), (_, y), _) -> + headline_screen t ((0, min y content_length), scroll) + | `Key (`ASCII 'j', []) | `Key (`ASCII 'N', [ `Ctrl ]) -> scroll_down () + | `Key (`ASCII 'k', []) | `Key (`ASCII 'P', [ `Ctrl ]) -> + let scroll = if y - scroll = 0 then max (scroll - 1) 0 else scroll in + headline_screen t @@ ((x, max (y - 1) 0), scroll) + | `Key (`Arrow d, _) -> + (match d with + | `Up -> scroll_up () + | `Down -> scroll_down () + | _ -> headline_screen t ((x, y), scroll)) + | `Key (`ASCII 'e', []) | `Key (`Enter, []) -> + (* Editor might be set with extra args, in that case we need to separate these *) + let[@warning "-8"] (editor :: args) = + String.split_on_char ' ' (Sys.getenv "EDITOR") + in + let selected_file, _ = Array.get content y in + let full_path_file = Grep.execution_directory ^ "/" ^ selected_file in + let full_args = Array.append (Array.of_list args) [| full_path_file |] in + Common.Term.cursor t (Some (0, 0)); + let _ = + Unix.create_process_env + editor + full_args + (Unix.environment ()) + Unix.stdin + Unix.stdout + Unix.stderr + in + let rec run_editor () = + match Unix.wait () with + | _, _ -> + Common.Term.cursor t None; + headline_screen t ((x, y), scroll) + (* Capture resizing events *) + | exception Unix.Unix_error (Unix.EINTR, _, _) -> run_editor () + | exception Unix.Unix_error (_, _, _) -> failwith "ERROR" + in + run_editor () + | _ -> headline_screen t (pos, scroll) + + +let start () = headline_screen (Common.Term.create ()) ((0, 0), 0) |