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

loads and displays teh git tree

Browse Source
This commit is contained in:
cqc
2023-01-13 05:39:51 -06:00
parent dfef26fcf5
commit 18daf83c1c
3 changed files with 6432 additions and 6222 deletions
Download Patch File Download Diff File Expand all files Collapse all files

36
boot_js.ml
View File

@ -90,40 +90,8 @@ let _ =
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 ui =
Nottui_widgets.(
edit_area
~table:
(edit_area_of_string
"edit me?\n\
derp derp derp\n\
herp herp derp\n\
ding dong beep beep")
()
(* vlist_of_text
@@ Lwd.pure
"navigate me?\n\
derp derp derp\n\
herp herp derp\n\
ding dong beep beep" *)
(* @@ Lwd_utils.pack Ui.pack_y
[
edit_field edit_me;
string "derp derp derp";
string "herp herp derp";
string "ding dong beep beep";
string "derp derp derp";
string "herp herp derp";
string "ding dong beep beep";
string "derp derp derp";
string "herp herp derp";
string "ding dong beep beep";
string "derp derp derp";
string "herp herp derp";
string "ding dong beep beep";
main_menu_item wm "Quit" (fun () -> exit 0);
] *))
in
Nav.test_pull () >>= fun test_tree ->
Nottui_widgets.(tree_nav test_tree []) >>= fun ui ->
let root =
Lwd.set body
(Lwd.map ~f:(Ui.resize ~pad:gravity_pad ~crop:gravity_crop) ui);