Fix default selection for pulldown

src/gui/options/options.js

@@ -266,6 +266,7 @@ App.UI.OptionsGroup = (function() {
 					buttonGroup.append(button);
 				}
 			} else {
+				let matchFound = false;
 				let select = document.createElement("select");
 				select.classList.add("rajs-list");
 
@@ -275,9 +276,13 @@ App.UI.OptionsGroup = (function() {
 					el.value = value.value;
 					if (this.object[this.property] === value.value) {
 						el.selected = true;
+						matchFound = true;
 					}
 					select.appendChild(el);
 				}
+				if (!matchFound) {
+					select.selectedIndex = -1;
+				}
 				select.onchange = () => {
 					const O = select.options[select.selectedIndex];
 					if (isNaN(Number(O.value))) {