31 lines
831 B
Diff
31 lines
831 B
Diff
diff --git a/bin/UI_base.ml b/bin/UI_base.ml
|
|
index efb1d14..ce6a2a4 100644
|
|
--- a/bin/UI_base.ml
|
|
+++ b/bin/UI_base.ml
|
|
@@ -787,7 +787,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
|
|
diff --git a/bin/dune b/bin/dune
|
|
index c4905a4..7c7b55d 100644
|
|
--- a/bin/dune
|
|
+++ b/bin/dune
|
|
@@ -44,9 +44,10 @@
|
|
containers.unix
|
|
cmdliner
|
|
fmt
|
|
- notty
|
|
- notty.unix
|
|
+ notty-community
|
|
+ notty-community.unix
|
|
nottui
|
|
+ nottui-unix
|
|
lwd
|
|
oseq
|
|
eio
|