Panel: Please rename Spinner to NumberInput

[MarcSkovMadsen]

The name Spinner is not very precise. It's actually misleading I believe.

Solution

Rename to NumberInput similar to TextInput. The NumberInput name is also closer to the name of the underlying html element. I can also see in the fast design system they call it a number-field (and text-field respectively).

[philippjfr]

I'd be happy to rename it to NumberInput while keeping the old name for backward compatibility until 2.0.

[kcpevey]

Completely agree. When I hear spinner, in my head I think of the spinning gif. This would be much better.