Is there a way to add leading zeroes to a spinner?

[George Ch.]

Hello!

I was wondering if there is a way to add leading zeroes on a spinner.
I tried ModelType String but it does not extend Number so this just gets a compilation exception, and through HTML5 I got nowhere.

Thanks in advance,
George

[Sebastien]

Hi George,

Did you tried something with numberFormat option and globalize ?

http://api.jqueryui.com/spinner/#option-numberFormat

Best regards,

Sebastien.

[George Ch.]

Dear Sebastien,

setNumberFormat is "not activated" in Spinner.class,
So instead I overrode the onConfigure and added the below.

this.options.set("numberFormat", Options.asString("d2"));

And this seems to work well :) Thank you!

Best Regards,
George

[Sebastien]

Spinner is a component, imo that's better if you override onConfigure(JQueryBehavior) and then call behavior.setOption(...)

[Sebastien]

or, if the spinner takes an option as ctor argh, you could pass it here