-
-
Notifications
You must be signed in to change notification settings - Fork 21.1k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Rename OS
to Platform
#47789
Rename OS
to Platform
#47789
Conversation
fb7ae35
to
aabd6b2
Compare
I don't like this change because |
That what I thought as well, there needs to be better separation. There are a number of proposals which also suggest static methods support, like godotengine/godot-proposals#1101. So I think it's fine to introduce |
I feel similarly, Maybe |
I don't think the verbosity is the major concern for rename. |
And what do you think about preserving both |
On one hand, it makes sense because not every platform is an OS (ex: web), so "Platform" is more technically correct. On the other hand, "OS" is shorter, very recognizable, and it's also unambiguous ("Platform" can also refer to things like Steam vs Itch vs Epic). |
To quote reduz on the topic of having two APIs for the same thing: |
aabd6b2
to
b07e18f
Compare
b07e18f
to
db04933
Compare
Rebased following merge of #47772. |
We discussed this in a PR review meeting today, and the consensus was that this rename doesn't seem like a good idea anymore. Leon's proposal made sense for the 3.x codebase as the |
As originally identified by @leonkrause here, not every platform is an OS, but every OS is a platform, and it's how we refer to each of the platforms that inherit from this class too. Therefore, it makes sense to rename
OS
toPlatform
. To make everything consistent, this PR includes renaming all the inheriting classes too.Part of #16863.