translated variable names

[UnnamedMinecrafter]

I added a variable named timer but in the selector it shows its german translation

I think this is caused by the renaming of the actual timer to its german translation it just seems kinda weird

[towerofnix]

The cause of the issue is in MenuMorph.prototype.addItem:

this.items.push([
    localize(labelString || 'close'),
    // ...

Menu items are always localized. In order to keep variable names the same, there'd need to either be no automatic localization inside of addItem, or there'd need to be a flag that disables localization in addItem (defaulting to having it enabled). Additionally, there'd need to be a way of marking which menu items should be localized and which shouldn't be through the choiceDict passed to TextSlotMorph.prototype.init. We usually want to localize menu items, but not for variable names.

Note that sprite names get translated, as well, as likely do costumes and sounds (though not tested):