From 210a4d94836d07bb71cad46b3e670c1977cfe833 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Sun, 21 Mar 2021 20:24:15 +0100
Subject: Updated PM examples

---
 editor/plugins.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'editor/plugins.ml')

diff --git a/editor/plugins.ml b/editor/plugins.ml
index 8dd960a..69319c4 100755
--- a/editor/plugins.ml
+++ b/editor/plugins.ml
@@ -116,6 +116,7 @@ let default pm schema =
   let props = PM.Example.options schema in
   props##.menuBar := Js.some Js._true;
   props##.floatingMenu := Js.some Js._true;
+  props##.menuContent := (Footnotes.build_menu pm schema)##.fullMenu;
   let setup = PM.Example.example_setup pm props in
 
   let keymaps =
-- 
cgit v1.2.3