diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2021-05-14 14:02:53 +0200 |
---|---|---|
committer | Sébastien Dailly <sebastien@dailly.me> | 2022-02-07 16:43:33 +0100 |
commit | 97f3ac8054de22b94e4ae169dae33ed5b1b41a52 (patch) | |
tree | 845aa35a85b5e670c249ccf0ed4e1087328e0c35 /editor/forms/add_page.mli | |
parent | bf94695abeda0d7bb296ae4cd0f9a53782587d4a (diff) |
Update popin events in editor
Diffstat (limited to 'editor/forms/add_page.mli')
-rwxr-xr-x | editor/forms/add_page.mli | 7 |
1 files changed, 0 insertions, 7 deletions
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 |