$mol_book2_catalog: +addon_tools

hyoo-ru · Dec 31, 2023 · 2dc7eb3 · 2dc7eb3
1 parent a3fb340
commit 2dc7eb3
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/book2/catalog/catalog.view.tree b/book2/catalog/catalog.view.tree
@@ -7,12 +7,16 @@ $mol_book2_catalog $mol_book2
 	spread_ids /string
 	menu_filter_enabled false
 	spread_ids_filtered /string
+	menu_tools /
+	addon_tools /
 	pages /
 		<= Menu $mol_page
 			Title => Menu_title
 			title <= menu_title \
 			Tools => Menu_tools
-			tools <= menu_tools /
+			tools /
+				^ menu_tools
+				^ addon_tools
 			head <= menu_head /
 				<= Menu_title
 				<= Menu_tools