shithub: puzzles

Download patch

ref: 742cf3a4434e65e1b83ca4d5510d329703665839
parent: 3fc5a644a72e747b1f88125b38b2f178a9bc7ed3
author: Simon Tatham <anakin@pobox.com>
date: Sun Mar 31 14:36:03 EDT 2013

A UI suggestion from Ben: label the Custom element in the dropdown
with a trailing "..." to hint that it opens a further dialog box.
However, the _invisible_ Custom option is merely indicating what you
_do_ have selected, so we leave that one as it is. (So now they're no
longer exact twins of each other, of course.)

[originally from svn r9796]

--- a/emcclib.js
+++ b/emcclib.js
@@ -67,7 +67,7 @@
      * case we need to do something special - see below.
      */
     js_add_preset: function(ptr) {
-        var name = (ptr == 0 ? "Custom" : Pointer_stringify(ptr));
+        var name = (ptr == 0 ? "Custom..." : Pointer_stringify(ptr));
         var value = gametypeoptions.length;
 
         var option = document.createElement("option");
@@ -96,9 +96,17 @@
             // we wouldn't get if the browser thought it was already
             // the selected one. But here, it's _not_ the selected
             // option already; its invisible evil twin is selected.
+            //
+            // (Actually, they're not _identical_ evil twins: we label
+            // the two slightly differently. The visible one that the
+            // user can select is labelled "Custom..." to hint that it
+            // opens a dialog box, whereas the invisible one that's
+            // left shown after the box closes is just "Custom",
+            // because that's telling you what you _have_ got
+            // selected.)
             option = document.createElement("option");
             option.value = value;
-            option.appendChild(document.createTextNode(name));
+            option.appendChild(document.createTextNode("Custom"));
             option.style.display = "none";
             gametypeselector.appendChild(option);
             gametypehiddencustom = option;