Lagrange [release]
macOS: "Settings" menu item on Ventura
Sat Nov 26 14:09:27 2022 +0200
Don't assume a specific label text.
IssueID #557
src/macos.m | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
Sat Nov 26 14:09:27 2022 +0200
Don't assume a specific label text.
IssueID #557
src/macos.m | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)