views:

17

answers:

1

In fennec, the options box is handled differently. I want to know how to get a number preference in the options box

A: 

Have you read http://starkravingfinkle.org/blog/2009/09/fennec-handling-add-on-options/ or https://wiki.mozilla.org/Mobile/Fennec/Extensions/Options?

For integer settings you need to do what's suggested there, then use <setting type="integer".

Nickolay
Thanks for that. None of those pages said anything about an 'integer' setting type
tmim
Yeah, I went hunting the source for this: http://mxr.mozilla.org/mobile-browser/source/chrome/content/bindings/setting.xml
Nickolay