enable Symbols in InputField drop down menus

history.txt

@@ -1974,3 +1974,4 @@ ______
 * Blocks: enable Costumes as Symbols and Symbols as custom block label parts
 * BYOB: Symbol selection menu for BlockLabelFragmentMorphs
 * Portuguese translation update
+* Widgets: enable Symbols in InputField drop down menus

widgets.js

@@ -74,7 +74,7 @@ HTMLCanvasElement, fontHeight, SymbolMorph, localize, SpeechBubbleMorph,
 ArrowMorph, MenuMorph, isString, isNil, SliderMorph, MorphicPreferences,
 ScrollFrameMorph*/
 
-modules.widgets = '2013-July-04';
+modules.widgets = '2013-October-25';
 
 var PushButtonMorph;
 var ToggleButtonMorph;
@@ -2965,12 +2965,18 @@ InputFieldMorph.prototype.dropDownMenu = function () {
         return null;
     }
     menu.addItem(' ', null);
-    for (key in choices) {
+    if (choices instanceof Array) {
-        if (Object.prototype.hasOwnProperty.call(choices, key)) {
+        choices.forEach(function (choice) {
-            if (key[0] === '~') {
+            menu.addItem(choice[0], choice[1]);
-                menu.addLine();
+        });
-            } else {
+    } else { // assuming a dictionary
-                menu.addItem(key, choices[key]);
+        for (key in choices) {
+            if (Object.prototype.hasOwnProperty.call(choices, key)) {
+                if (key[0] === '~') {
+                    menu.addLine();
+                } else {
+                    menu.addItem(key, choices[key]);
+                }
             }
         }
     }