В fennec поле параметров обрабатывается по-разному. Я хочу знать, как получить номер предпочтения в окне параметров
Вы читали http://starkravingfinkle.org/blog/2009/09/fennec-handling-add-on-options/ или https://wiki.mozilla.org/Mobile/Fennec/Extensions/Options?
Для целочисленных настроек вам нужно сделать то, что там предложено, затем использовать <setting type="integer".
<setting type="integer"