From d47ed5f74784a305aaba3ee6f93ae45e782490ff Mon Sep 17 00:00:00 2001
From: Martynas Bagdonas <git.martynas@gmail.com>
Date: Fri, 16 Feb 2024 12:31:58 +0200
Subject: [PATCH] Hide unnecessary menu separators in Tools menu

---
 chrome/content/zotero/zoteroPane.xhtml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/chrome/content/zotero/zoteroPane.xhtml b/chrome/content/zotero/zoteroPane.xhtml
index 672b467ec0..644f1e810d 100644
--- a/chrome/content/zotero/zoteroPane.xhtml
+++ b/chrome/content/zotero/zoteroPane.xhtml
@@ -675,7 +675,7 @@
 						<menupopup id="menu_ToolsPopup">
 							<menuitem id="menu_rtfScan" class="menu-type-library" label="&zotero.toolbar.rtfScan.label;"
 									command="cmd_zotero_rtfScan"/>
-							<menuseparator/>
+							<menuseparator class="menu-type-library"/>
 							<menuitem id="installConnector"
 									accessKey="&installConnector.accesskey;"
 									label="&installConnector.label;"
@@ -691,7 +691,7 @@
 									<menuitem id="scaffold-menu-item" label="Translator Editor" oncommand="openScaffold()"/>
 								</menupopup>
 							</menu>
-							<menuseparator/>
+							<menuseparator class="menu-type-library"/>
 							<menu id="manage-attachments-menu" class="menu-type-library" label="&manageAttachments.label;"
 									onpopupshowing="ZoteroStandalone.onManageAttachmentsMenuOpen()"
 									oncommand="ZoteroStandalone.onManageAttachmentsMenuItemClick(event)">