From 28417d795a6922c3df3c2c0aea78a51648b0428e Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Mon, 7 Feb 2022 15:27:05 +0100 Subject: Added import button in editor --- editor/actions/delete_page.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'editor/actions/delete_page.ml') diff --git a/editor/actions/delete_page.ml b/editor/actions/delete_page.ml index fb600bd..58c1d32 100755 --- a/editor/actions/delete_page.ml +++ b/editor/actions/delete_page.ml @@ -9,8 +9,7 @@ module M = struct | None -> state | Some page_id -> State.Storage.delete (fun () -> Some page_id); - let json = State.Storage.load None in - State.load_page None state json + State.load_page None state end -- cgit v1.2.3