Lagrange [release]

macOS: "Settings" menu item on Ventura

d470b7f20a38c60fc28fbee327330bba3112db00

[1mdiff --git a/src/macos.m b/src/macos.m[m
[1mindex ec854e70..14b4cfc0 100644[m
[1m--- a/src/macos.m[m
[1m+++ b/src/macos.m[m
[36m@@ -594,7 +594,7 @@[m [mvoid setupApplication_MacOS(void) {[m
              context:myDel];[m
     app.delegate = myDel;[m
     NSMenu *appMenu = [[[NSApp mainMenu] itemAtIndex:0] submenu];[m
[31m-    NSMenuItem *prefsItem = [appMenu itemWithTitle:@"Preferences…"];[m
[32m+[m[32m    NSMenuItem *prefsItem = [appMenu itemAtIndex:2];[m
     NSMenuItem *quitItem = [appMenu itemAtIndex:[appMenu numberOfItems] - 1];[m
     prefsItem.target = myDel;[m
     prefsItem.action = @selector(showPreferences);[m