From a6e30a95b5dcd34fb9e65d9a26f0844ec75bb004 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Thu, 3 Jun 2021 11:41:28 +0200 Subject: Greyed the delete button on main page --- editor/actions/editor_actions.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'editor/actions/editor_actions.mli') diff --git a/editor/actions/editor_actions.mli b/editor/actions/editor_actions.mli index 48d5676..27b09d7 100755 --- a/editor/actions/editor_actions.mli +++ b/editor/actions/editor_actions.mli @@ -14,4 +14,4 @@ val get_event *) val complete - : t -> State.t Note.event -> Brr.El.t list + : t -> State.t Note.signal -> Brr.El.t list -- cgit v1.2.3