From 32a0dc0e435a54bc70d2403d85a2996ced757a52 Mon Sep 17 00:00:00 2001
From: Lior Halphon <LIJI32@gmail.com>
Date: Sat, 11 Apr 2020 20:44:15 +0300
Subject: [PATCH] Rename the "Developer" menu to "Develop", like first party
 Mac apps

---
 Cocoa/MainMenu.xib | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Cocoa/MainMenu.xib b/Cocoa/MainMenu.xib
index e56b4a0..71add1c 100644
--- a/Cocoa/MainMenu.xib
+++ b/Cocoa/MainMenu.xib
@@ -382,9 +382,9 @@
                         </items>
                     </menu>
                 </menuItem>
-                <menuItem title="Developer" id="IwX-DJ-dBk">
+                <menuItem title="Develop" id="IwX-DJ-dBk">
                     <modifierMask key="keyEquivalentModifierMask"/>
-                    <menu key="submenu" title="Developer" id="UVb-cc-at0">
+                    <menu key="submenu" title="Develop" id="UVb-cc-at0">
                         <items>
                             <menuItem title="Developer Mode" id="Qx6-Tt-zZR">
                                 <modifierMask key="keyEquivalentModifierMask"/>