diff options
Diffstat (limited to 'gui.js')
| -rw-r--r-- | gui.js | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -3546,6 +3546,7 @@ 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 () { |
