fix max zoom ratio

settings_explorerjs.js

@@ -152,7 +152,7 @@ var sigmaJsGraphProperties = {
     maxEdgeSize: 4
 };
 var sigmaJsMouseProperties = {
-    minRatio: 0.1,
+    minRatio: .03125,  // 1/32  pour permettre zoom x32
     maxRatio: 2
 };
 // ============ < / SIGMA.JS PROPERTIES > ============
@@ -193,11 +193,11 @@ var lastFilter = []
 TW.Filters = {}
 
 
-
-var overviewWidth = 200;
-var overviewHeight = 175;
-var overviewScale = 0.25;
-var overviewHover=false;
+//
+// var overviewWidth = 200;
+// var overviewHeight = 175;
+// var overviewScale = 0.25;
+// var overviewHover=false;
 var moveDelay = 80, zoomDelay = 2;
 //var Vecindad;
 TW.partialGraph;
@@ -210,9 +210,10 @@ var nodeslength=0;
 
 var labels = [];
 
-var numberOfDocs=0;
-var numberOfNGrams=0;
+var numberOfDocs=0;    // not used!
+var numberOfNGrams=0;  // not used, but cf TW.nNodes TW.nEdges
 
+// FIXME should become TW.*
 var selections = [];
 var deselections={};
 var opossites = {};

tinawebJS/Tinaweb.js

@@ -759,8 +759,8 @@ TinaWebJS = function ( sigmacanvas ) {
 
             // new sigma.js current zoom ratio
             value: partialGraph.camera.ratio,
-            min: 1 / sigmaJsMouseProperties.maxRatio,
-            max: 1 / sigmaJsMouseProperties.minRatio,
+            min: 1 / sigmaJsMouseProperties.maxRatio,   // ex x.5
+            max: 1 / sigmaJsMouseProperties.minRatio,   // ex x32
             // range: true,
             step: .2,
             value: 1,

tinawebJS/enviroment.js

@@ -3,14 +3,6 @@
 // always useful
 var theHtml = document.getElementsByTagName('html')[0]
 
-// overriding pixelRatio is possible if we need very high definition
-// var realRatio = sigma.utils.getPixelRatio
-// if (TW.overSampling) {
-//   sigma.utils.getPixelRatio = function() {
-//     return 2 * realRatio()
-//   }
-// }
-
 TW.anynodegoes = true
 // TW.anynodegoes = true