Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit 22684c4f authored by Marc Duez's avatar Marc Duez

model.js : displayTop debug (range was a bit too large)

parent aa137372
......@@ -1096,7 +1096,7 @@ Model.prototype = {
if (html_label != null) {
var count = 0;
for (var i=0; i<this.n_clones; i++){
if (this.clone(i).top <= top) count++;
if (this.clone(i).top < top) count++;
}
html_label.innerHTML = count + ' clones (top ' + top + ')' ;
}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment