Feature request: increase number when duplicating numbered widget

[unsigned_char_array]

When I add a button I get: Button1
When I add another button I get: Button2
This is good.
When I duplicate Button2 I get: Button2_1
When I paste it again I get: Button2_2
Repeated copying is worse: Button2_1_1_1_1...
What I want is for it to be: Button3
If I have a lot of widgets it can be a pain to change their names renumber all of them.

[LouisB]

Hello @unsigned_char_array ,

Thanks for your suggestion ! I will be discussed with the team.

BR,