Minor cleanings.

Cleans app.js output from previous debug outputs.
Renamed debug functions concerning window.localStorage settings.

lib/diff.js

@@ -133,7 +133,7 @@ function cleanAndGetIndexes(text) {
     }
     end();
 
-    console.log(JSON.stringify(finalText)+JSON.stringify(zones));
+    // console.log(JSON.stringify(finalText)+JSON.stringify(zones));
     return {text: finalText, zones: zones};
 }
 
@@ -180,9 +180,10 @@ function diffHandler(req, res, next) {
         }));
     } else {
     res.end(JSON.stringify({
-        computedDiff: cleaned.text+
-            "\n//// for reference: ////\n"+ // for debug only
-            wdiffResult.stdout.toString(),
+        computedDiff: cleaned.text,
+        //computedDiff: cleaned.text+
+        //    "\n//// for reference: ////\n"+ // for debug only
+        //    wdiffResult.stdout.toString(),
         zones: cleaned.zones
         //computedDiff: "aaa\nbbb[-ccc-]\n[-ddd-]eee\n[-fff-]\nsafe"
         //computedDiff: "[-aaa-]"

static/gcc.js

@@ -430,12 +430,16 @@ $(function () {
 ////////////////////////////////////////////////////////////////////////////////
 // Unit/Functional tests require:
 
-function getSettings() {
+function getSettingsList() {
     // console.log(JSON.stringify(window.localStorage));
     var entries = Object.getOwnPropertyNames(window.localStorage);
     return entries;
 }
 
+function getSetting(settingName) {
+    return window.localStorage[settingName];
+}
+
 function wipeSettings() {
     window.localStorage.clear();
 }
@@ -443,8 +447,12 @@ function wipeSettings() {
 ////////////////////////////////////////////////////////////////////////////////
 // DEBUG :
 function listSettings() {
-    var entries = getSettings();
+    var entries = getSettingsList();
     for (var i = 0; i < entries.length; i++) {
         console.log(entries[i]);
     }
 }
+
+function showSetting(settingName) {
+    console.log(JSON.stringify(getSetting(settingName, null, ' ')));
+}