From 97f3ac8054de22b94e4ae169dae33ed5b1b41a52 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Fri, 14 May 2021 14:02:53 +0200
Subject: Update popin events in editor

---
 editor/forms/add_page.mli | 7 -------
 1 file changed, 7 deletions(-)

(limited to 'editor/forms/add_page.mli')

diff --git a/editor/forms/add_page.mli b/editor/forms/add_page.mli
index 6be1611..8a4ff6f 100755
--- a/editor/forms/add_page.mli
+++ b/editor/forms/add_page.mli
@@ -1,9 +1,2 @@
-type t = { title : Jstr.t }
-type Events.kind +=
-  | AddPage of t [@@unboxed]
-
 val create
   : unit -> Events.t
-
-val on_close
-  : t -> State.t -> State.t
-- 
cgit v1.2.3