selectable node/contents, needs correcting focus control

2023-02-03 12:07:10 -06:00
parent d53f6687e5
commit fcf528275b
3 changed files with 5617 additions and 5414 deletions
--- a/boot_js.ml
+++ b/boot_js.ml
@ -91,7 +91,7 @@ let _ =
  let body = Lwd.var (Lwd.pure Ui.empty) in
  let wm = Widgets.window_manager (Lwd.join (Lwd.get body)) in
  Nav.test_pull () >>= fun test_store ->
-  Widgets.(tree_nav (test_store, [])) >>= fun ui ->
+  let ui = Widgets.(h_node_area (test_store, [ [] ])) in
  let root =
    Lwd.set body
      (Lwd.map ~f:(Ui.resize ~pad:gravity_pad ~crop:gravity_crop) ui);