console/boot
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

tree_nav :3

Browse Source
This commit is contained in:
cqc
2023-01-22 23:16:15 -06:00
parent 97730899c6
commit f0c5556450
3 changed files with 4818 additions and 4557 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
boot_js.ml
View File

@ -89,13 +89,13 @@ let _ =
let gravity_pad = Gravity.make ~h:`Negative ~v:`Negative in
let gravity_crop = Gravity.make ~h:`Positive ~v:`Negative in
let body = Lwd.var (Lwd.pure Ui.empty) in
let wm = Nottui_widgets.window_manager (Lwd.join (Lwd.get body)) in
let wm = Widgets.window_manager (Lwd.join (Lwd.get body)) in
Nav.test_pull () >>= fun test_tree ->
Nottui_widgets.(tree_nav test_tree []) >>= fun ui ->
Widgets.(tree_nav test_tree []) >>= fun ui ->
let root =
Lwd.set body
(Lwd.map ~f:(Ui.resize ~pad:gravity_pad ~crop:gravity_crop) ui);
Nottui_widgets.window_manager_view wm
Widgets.window_manager_view wm
in
let events, push_event = Lwt_stream.create () in