Skip to content

Remove View::id prop in favor of NameTrait::name#1769

Merged
mvorisek merged 3 commits intodevelopfrom
rm_id_view_prop
Apr 9, 2022
Merged

Remove View::id prop in favor of NameTrait::name#1769
mvorisek merged 3 commits intodevelopfrom
rm_id_view_prop

Conversation

@mvorisek
Copy link
Copy Markdown
Member

@mvorisek mvorisek commented Apr 9, 2022

part of #1765

View::id was basically a copy of NameTrait::name, but it was not used consistently

Final deduplicated name might be not the most intuitive one, but it is given by core trait NameTrait::name and is also much more used than View::id in the current code base. In the future, we might introduce a more intuitive getter for it with stricter global uniqueness check.

@PhilippGrashoff
Copy link
Copy Markdown
Collaborator

Thumbs up!

@mvorisek mvorisek merged commit d3ff728 into develop Apr 9, 2022
@mvorisek mvorisek deleted the rm_id_view_prop branch April 9, 2022 17:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Development

Successfully merging this pull request may close these issues.

2 participants