tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1diff --git a/bin/dune b/bin/dune
2index e0ddc1f..a4e8523 100644
3--- a/bin/dune
4+++ b/bin/dune
5@@ -47,6 +47,7 @@
6 notty
7 notty.unix
8 nottui
9+ nottui-unix
10 lwd
11 oseq
12 eio
13diff --git a/bin/ui_base.ml b/bin/ui_base.ml
14index f56ee8d..8d8ed70 100644
15--- a/bin/UI_base.ml
16+++ b/bin/UI_base.ml
17@@ -587,7 +587,7 @@ let ui_loop ~quit ~term root =
18 if term_width <> prev_term_width || term_height <> prev_term_height then (
19 Lwd.set Vars.term_width_height (term_width, term_height)
20 );
21- Nottui.Ui_loop.step
22+ Nottui_unix.step
23 ~process_event:true
24 ~timeout:0.05
25 ~renderer