From 1b5846992b1969bb6a770e420ce41a11e18fdc96 Mon Sep 17 00:00:00 2001
From: jmoenig <jens@moenig.org>
Date: Wed, 6 Nov 2019 04:19:58 +0100
Subject: [PATCH] don't translate marked menu items

in custom blocks' drop-downs
---
 src/blocks.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/blocks.js b/src/blocks.js
index e0504d0e..09d996ec 100644
--- a/src/blocks.js
+++ b/src/blocks.js
@@ -8646,7 +8646,9 @@ InputSlotMorph.prototype.setContents = function (data) {
       	dta = ''; // make sure the contents text emptied
     } else { // assume dta is a localizable choice if it's a key in my choices
         cnts.isItalic = false;
-        if (!isNil(this.choices) && this.choices[dta] instanceof Array) {
+        if (!isNil(this.choices) &&
+                this.choices[dta] instanceof Array &&
+                this.choices[dta].length === 1) {
             return this.setContents(this.choices[dta]);
         }
     }