summaryrefslogtreecommitdiff
path: root/editor/state
diff options
context:
space:
mode:
Diffstat (limited to 'editor/state')
-rwxr-xr-xeditor/state/state.mli1
1 files changed, 1 insertions, 0 deletions
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