IDE2 shows `Arduino IDE` > `Settings` menu instead of `Arduino IDE` > `Preferences...` on macOS Ventura (13.x)

[kittaakos]

Describe the problem

IDE2 shows Arduino IDE > Settings menu on macOS 13.x+ (Ventura). The same menu is Arduino IDE > Preferences... on macOS 12.x and earlier.

IDE2 2.0.4 on macOS 13.x:

IDE2 2.0.4 on macOS 12.6.3:

To reproduce

Open IDE2 2.0.4 on macOS 12.x and 13.x and compare the menu items under the leftmost Arduino IDE menu. They're not the same.

Expected behavior

The menu item label must be Preferences(...) on macOS.

Arduino IDE version

2.0.4

Operating system

macOS

Operating system version

13.x

Additional context

No response

Issue checklist

• I searched for previous reports in the issue tracker
• I verified the problem still occurs when using the latest nightly build
• My report contains all necessary details

[per1234]

The menu item is Arduino > Settings... in Arduino IDE 1.x and Settings... seems to be a standard convention for macOS applications.

Although it would make support work easier if there was consistency between operating systems, it seems that we must accept that things are just done differently in the macOS world and that consistency within a platform (which is what the average user will notice) is more important than consistency between platforms.

From this perspective, the defect is actually the menu item being named "Preferences..." on macOS 12.x and earlier.

I don't know if it makes sense to work to resolve that defect for the sake of fixing a minor defect for a dwindling portion of the user base. So I would close this as "wontfix" if that were the only consideration. However, I am a bit concerned that whatever code causes the menu item to be named on macOS 12.x and earlier might cause a regression in the menu item name later. So I will leave this open to track the task of reviewing the code to make sure there is no ambiguity in how the "Arduino IDE ?> Settings..." menu name is set for macOS.