From fe2cced55e1b44dbae57e55fe0f459c85e7369cb Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Mon, 7 Feb 2022 16:21:26 +0100 Subject: Application unification --- editor/forms/events.ml | 15 --------------- 1 file changed, 15 deletions(-) delete mode 100755 editor/forms/events.ml (limited to 'editor/forms/events.ml') diff --git a/editor/forms/events.ml b/editor/forms/events.ml deleted file mode 100755 index 28780d9..0000000 --- a/editor/forms/events.ml +++ /dev/null @@ -1,15 +0,0 @@ -module type Handler = sig - - type t - - val on_close: t -> State.t -> State.t - -end - -type event = Event : 'a * (module Handler with type t = 'a) -> event - -(* The type is both the form handler, the form value, and the HTML element - which contains the form. - - The signal has to be log in order to be completely working. *) -type t = event Note.signal * Brr.El.t -- cgit v1.2.3