Merge branch 'pregmod-master' of gitgud.io:pregmodfan/fc-pregmod into fixes

src/gui/options/options.js

@@ -274,10 +274,10 @@ App.UI.OptionsGroup = (function() {
 					}
 					select.onchange = () => {
 						const O = select.options[select.selectedIndex];
-						if (Number(O.value)) {
-							option.object[option.property] = Number(O.value);
-						} else {
+						if (isNaN(Number(O.value))) {
 							option.object[option.property] = O.value;
+						} else {
+							option.object[option.property] = Number(O.value);
 						}
 					};
 					buttonGroup.append(select);