"Preferences" → "Settings" on all platforms

Firefox has switched on all platforms, Chrome and Edge on Windows use
"Settings", and we really don't want to have to say different things for
different platforms
This commit is contained in:
Dan Stillman 2023-05-27 07:26:21 -04:00
parent 773a89b0f3
commit f966662911

View file

@ -1,6 +1,2 @@
preferences-window =
.title =
{ PLATFORM() ->
[macos] { -app-name } Settings
*[other] { -app-name } Preferences
}
.title = { -app-name } Settings