From d82ad6356586e74f41869647d57157993a3d6161 Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@fri.uni-lj.si>
Date: Mon, 12 Oct 2015 21:18:17 +0200
Subject: Rename lang setting to gui_lang and store it in codeq.settings

---
 js/codeq/core.js | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

(limited to 'js/codeq/core.js')

diff --git a/js/codeq/core.js b/js/codeq/core.js
index 8d7900d..6b76042 100644
--- a/js/codeq/core.js
+++ b/js/codeq/core.js
@@ -165,8 +165,7 @@
         return html.replace(regexpWhiteSpaceBeforeTag, '').split(regexpWhiteSpaceAfterTag).join('>');
     };
 
-    var lang = 'en', // this is overridden in the boot sequence below, if the browser uses a supported language
-        resources = {}; // resource tree, loaded from data/resources.json in the boot sequence
+    var resources = {}; // resource tree, loaded from data/resources.json in the boot sequence
 
     // event dispatch
     var eventListeners = {}, // keyed by event name, value is an array of listeners
@@ -386,7 +385,9 @@
 
         'log': log,
 
-        'settings': {},
+        'settings': {
+            'gui_lang': 'en' // boot sequence overrides this if the browser uses a supported language
+        },
 
         'availableLangs': [], // filled at boot from 'supportedLangs'
         'supportedLangs': {
@@ -395,11 +396,11 @@
         },
         'isWebApp': false, // this is a PhoneGap/Cordova build, will be overridden in cordova.js for webapp
         'getLang': function () {
-            return lang;
+            return codeq.settings['gui_lang'];
         },
 
         'setLang': function (newLang) {
-            lang = newLang;
+            codeq.settings['gui_lang'] = newLang;
             codeq.fire('langchange', {'lang': newLang});
         },
 
-- 
cgit v1.2.1