From f6a1a4f2f44e0af679467620f89d0732021cf934 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@dailly.me>
Date: Mon, 7 Feb 2022 15:22:26 +0100
Subject: Use the common fileLoader element

---
 editor/state/state.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'editor/state')

diff --git a/editor/state/state.mli b/editor/state/state.mli
index 2f3e9c4..4376723 100755
--- a/editor/state/state.mli
+++ b/editor/state/state.mli
@@ -24,6 +24,7 @@ val state_of_storage
 val load_page
   : Jstr.t option -> t -> t
 
+(** Create a new empty page, and load it *)
 val new_page
   : Jstr.t option -> title:Jstr.t -> t -> t
 
-- 
cgit v1.2.3