diff options
Diffstat (limited to 'gui.js')
| -rw-r--r-- | gui.js | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -3546,7 +3546,6 @@ IDE_Morph.prototype.setLanguage = function (lang, callback) { if (lang === 'en') { return this.reflectLanguage('en', callback); } - myself.userLanguage = lang; translation = document.createElement('script'); translation.id = 'language'; translation.onload = function () { |
