From a6e30a95b5dcd34fb9e65d9a26f0844ec75bb004 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Thu, 3 Jun 2021 11:41:28 +0200
Subject: Greyed the delete button on main page

---
 editor/editor.ml | 11 ++---------
 1 file changed, 2 insertions(+), 9 deletions(-)

(limited to 'editor/editor.ml')

diff --git a/editor/editor.ml b/editor/editor.ml
index f27c60c..9eee49e 100755
--- a/editor/editor.ml
+++ b/editor/editor.ml
@@ -153,16 +153,9 @@ let app id content =
            ]) in
 
 
-    let change_event =
-      Note.S.changes app_state in
-
-    let childs = Editor_actions.complete side_elements change_event in
+    let childs = Editor_actions.complete side_elements app_state in
     let () = El.append_children sidebar childs in
-    let _ =
-      Note.E.log change_event
-        (fun _ -> ())
-      |> Option.iter Note.Logr.hold
-    in
+    let _ = Note.(Logr.hold (S.log app_state (fun _ -> ()))) in
     ()
 
   | _ ->
-- 
cgit v1.2.3