[FIX] graphExplorer: checkBox (BUG-8)

static/lib/graphExplorer/extras_explorerjs.js

@@ -89,10 +89,10 @@ function CRUD( list_id , ngram_ids , http_method , callback) {
 // general listener: shift key in the window <=> add to selection
 $(document).on('keyup keydown', function(e){
   // changes the global boolean ("add node to selection" status) if keydown and SHIFT
-  checkBox = e.shiftKey
+  checkBox = manuallyChecked || e.shiftKey
 
   // show it in the real checkbox too
-  $('#checkboxdiv').prop("checked", e.shiftKey)
+  $('#checkboxdiv').prop("checked", manuallyChecked || e.shiftKey)
 } );
 
 // = = = = = = = = = = = [ Clusters Plugin ] = = = = = = = = = = = //

static/lib/graphExplorer/settings_explorerjs.js

@@ -169,6 +169,7 @@ var gexf;
 //var zoom=0;
 
 var checkBox=false;
+var manuallyChecked = false;
 var overNodes=false;
 var shift_key=false;
 

static/lib/graphExplorer/tinawebJS/methods.js

@@ -79,7 +79,13 @@ function highlightSelectedNodes(flag){
 
 function alertCheckBox(eventCheck){
     // console.log('FUN t.methods:alertCheckBox')
-    if(!isUndef(eventCheck.checked)) checkBox=eventCheck.checked;
+    // NB: we use 2 booleans to adapt to SHIFT checking
+    //      - var checkBox  ---------> has the real box state
+    //      - var manuallyChecked  --> remembers if it was changed here
+    if(!isUndef(eventCheck.checked)) {
+        checkBox=eventCheck.checked;
+        manuallyChecked = eventCheck.checked
+    }
 }
 
 // States: