Skip to content
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

[FIX] devtools: fix issue when treeElement have same name #1433

Merged
merged 1 commit into from
May 24, 2023

Conversation

juliusc2066
Copy link
Contributor

@juliusc2066 juliusc2066 commented May 11, 2023

This commit fixes the key of the sub tree elements in the details window to be 100% unique since the name of the elements could not be unique so it would silently crash and not display. It also removes the default size property of maps and sets since there's already a getter available for it.

@juliusc2066 juliusc2066 force-pushed the master-devtools-fix-treeElement-key-juca branch from 896dcf3 to b5ea633 Compare May 11, 2023 08:12
This commit fixes the key of the sub tree elements in the details
window to be 100% unique since the name of the elements could not
be unique so it would silently crash and not display. It also removes
the default size property of maps and sets since there's already a
getter available for it.
@juliusc2066 juliusc2066 force-pushed the master-devtools-fix-treeElement-key-juca branch from b5ea633 to 66c1e30 Compare May 24, 2023 08:29
@ged-odoo ged-odoo merged commit 77a413d into master May 24, 2023
@ged-odoo ged-odoo deleted the master-devtools-fix-treeElement-key-juca branch May 24, 2023 09:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants