1 files changed, 12 insertions, 0 deletions
diff --git a/plugins/menu.formelements.js b/plugins/menu.formelements.js
new file mode 100644
index 0000000..dbf9562
--- /dev/null
+++ b/plugins/menu.formelements.js
@@ -0,0 +1,12 @@
+AlertMsg = "Sorry, that\'\s not a valid page."
+
+function MenuNavSelect(form,elt) {
+  if (form != null) {
+    if(form.elements[elt].selectedIndex.value == 0) {
+      alert(AlertMsg);
+      form.elements[elt].selected='true';
+    } else {
+      window.location = form.elements[elt].options[form.elements[elt].selectedIndex].value;
+    }
+  }
+}