26 lines
699 B
Diff
26 lines
699 B
Diff
|
diff --git a/bin/dune b/bin/dune
|
||
|
|
index e0ddc1f..a4e8523 100644
|
||
|
|
--- a/bin/dune
|
||
|
|
+++ b/bin/dune
|
||
|
|
@@ -47,6 +47,7 @@
|
||
|
|
notty
|
||
|
|
notty.unix
|
||
|
|
nottui
|
||
|
|
+ nottui-unix
|
||
|
|
lwd
|
||
|
|
oseq
|
||
|
|
eio
|
||
|
|
diff --git a/bin/ui_base.ml b/bin/ui_base.ml
|
||
|
|
index f56ee8d..8d8ed70 100644
|
||
|
|
--- a/bin/ui_base.ml
|
||
|
|
+++ b/bin/ui_base.ml
|
||
|
|
@@ -587,7 +587,7 @@ let ui_loop ~quit ~term root =
|
||
|
|
if term_width <> prev_term_width || term_height <> prev_term_height then (
|
||
|
|
Lwd.set Vars.term_width_height (term_width, term_height)
|
||
|
|
);
|
||
|
|
- Nottui.Ui_loop.step
|
||
|
|
+ Nottui_unix.step
|
||
|
|
~process_event:true
|
||
|
|
~timeout:0.05
|
||
|
|
~renderer
|