Widgets

It's definitely accidental that you can have two sliders for the same variable in desktop NetLogo.
As for whether two buttons ought to be allowed to have the same display name, no strong feeling, but forbidding it seems reasonable to me.