broke focus, but rearranged for better save implementation

2023-01-23 13:04:04 -06:00
parent d46c1de49d
commit d53f6687e5
3 changed files with 6739 additions and 6623 deletions
--- a/boot_js.ml
+++ b/boot_js.ml
@ -90,8 +90,8 @@ let _ =
  let gravity_crop = Gravity.make ~h:`Positive ~v:`Negative in
  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_tree ->
-  Widgets.(tree_nav (test_tree, [])) >>= fun ui ->
+  Nav.test_pull () >>= fun test_store ->
+  Widgets.(tree_nav (test_store, [])) >>= fun ui ->
  let root =
    Lwd.set body
      (Lwd.map ~f:(Ui.resize ~pad:gravity_pad ~crop:gravity_crop) ui);