Issue: There is no conflict resolution for the DuplicateName conflict (if a declaration ha a duplicate name).
We implemented a resolution button for the duplicate name conflict based on the design specification. Specifically, we did the following:
Allow the user to remove one of the duplicate names with a button if the duplicate names are on the same line
Edited representation of the conflict in NodeTexts.ts and locales to include a resolution message
Display the resolution message next to the button
Some notes:
The resolution only appears if the duplicate names are on the same line; the user must manually resolve the conflict if there are duplicate names on separate lines.
Issue: There is no conflict resolution for the DuplicateName conflict (if a declaration ha a duplicate name).
We implemented a resolution button for the duplicate name conflict based on the design specification. Specifically, we did the following:
Some notes: