From e6c50c0f53d2b6107330e4056e87f0133541f5be Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Cl=C3=A9ment=20Pasteau?=
 <4895034+ClementPasteau@users.noreply.github.com>
Date: Fri, 24 Jan 2025 13:23:05 +0100
Subject: [PATCH] Add preferences menu back

---
 newIDE/app/src/MainFrame/MainMenu.js | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/newIDE/app/src/MainFrame/MainMenu.js b/newIDE/app/src/MainFrame/MainMenu.js
index 77ac7a96c36a..8167a0245fe4 100644
--- a/newIDE/app/src/MainFrame/MainMenu.js
+++ b/newIDE/app/src/MainFrame/MainMenu.js
@@ -179,6 +179,15 @@ export const buildMainMenuDeclarativeTemplate = ({
         onClickSendEvent: 'main-menu-close',
         enabled: !!project,
       },
+      ...(!isMacLike() || !isApplicationTopLevelMenu
+        ? [
+            { type: 'separator' },
+            {
+              label: i18n._(t`Preferences`),
+              onClickSendEvent: 'main-menu-open-preferences',
+            },
+          ]
+        : []),
     ],
   };