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;