diff options
| author | Simon Tatham <anakin@pobox.com> | 2013-03-31 18:36:03 +0000 |
|---|---|---|
| committer | Simon Tatham <anakin@pobox.com> | 2013-03-31 18:36:03 +0000 |
| commit | 742cf3a4434e65e1b83ca4d5510d329703665839 (patch) | |
| tree | 7125e73f8ec793f363d4132de4403c4b915b269f /emcclib.js | |
| parent | 3fc5a644a72e747b1f88125b38b2f178a9bc7ed3 (diff) | |
| download | puzzles-742cf3a4434e65e1b83ca4d5510d329703665839.zip puzzles-742cf3a4434e65e1b83ca4d5510d329703665839.tar.gz puzzles-742cf3a4434e65e1b83ca4d5510d329703665839.tar.bz2 puzzles-742cf3a4434e65e1b83ca4d5510d329703665839.tar.xz | |
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]
Diffstat (limited to 'emcclib.js')
| -rw-r--r-- | emcclib.js | 12 |
1 files changed, 10 insertions, 2 deletions
@@ -67,7 +67,7 @@ mergeInto(LibraryManager.library, { * 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 @@ mergeInto(LibraryManager.library, { // 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; |