From: Benoît Pin <pin@cri.ensmp.fr>
Date: Tue, 14 Apr 2015 07:46:24 +0000 (+0200)
Subject: Ménage / lint.
X-Git-Url: https://scm.cri.mines-paristech.fr/git/Plinn.git/commitdiff_plain/ad7b6a9c7ed52fea826a29f17854dce6d9a017ce?hp=73450073e4f23715046272dcdee5d0dd2ec54615

Ménage / lint.
---

diff --git a/Products/Plinn/skins/ajax_scripts/DHTMLapi.js b/Products/Plinn/skins/ajax_scripts/DHTMLapi.js
index 41e49f3..eb50a46 100755
--- a/Products/Plinn/skins/ajax_scripts/DHTMLapi.js
+++ b/Products/Plinn/skins/ajax_scripts/DHTMLapi.js
@@ -26,7 +26,6 @@ function initDHTMLAPI() {
 // set event handler to initialize API
 //window.onload = initDHTMLAPI;
 addListener(window, 'load', initDHTMLAPI);
-//registerStartupFunction(initDHTMLAPI)
 
 // Seek nested NN4 layer from string name
 function seekLayer(doc, name) {
@@ -79,11 +78,11 @@ function shiftTo(obj, x, y) {
     if (theObj) {
         if (isCSS) {
             // equalize incorrect numeric value type
-            var units = (typeof theObj.left == "string") ? "px" : 0 
+            var units = (typeof theObj.left == "string") ? "px" : 0;
             theObj.left = x + units;
             theObj.top = y + units;
         } else if (isNN4) {
-            theObj.moveTo(x,y)
+            theObj.moveTo(x,y);
         }
     }
 }
@@ -94,7 +93,7 @@ function shiftBy(obj, deltaX, deltaY) {
     if (theObj) {
         if (isCSS) {
             // equalize incorrect numeric value type
-            var units = (typeof theObj.left == "string") ? "px" : 0 
+            var units = (typeof theObj.left == "string") ? "px" : 0;
             theObj.left = getObjectLeft(obj) + deltaX + units;
             theObj.top = getObjectTop(obj) + deltaY + units;
         } else if (isNN4) {
@@ -212,7 +211,7 @@ function getInsideWindowWidth() {
         return window.innerWidth;
     } else if (isIE6CSS) {
         // measure the html element's clientWidth
-        return document.body.parentElement.clientWidth
+        return document.body.parentElement.clientWidth;
     } else if (document.body && document.body.clientWidth) {
         return document.body.clientWidth;
     }
@@ -224,7 +223,7 @@ function getInsideWindowHeight() {
         return window.innerHeight;
     } else if (isIE6CSS) {
         // measure the html element's clientHeight
-        return document.body.parentElement.clientHeight
+        return document.body.parentElement.clientHeight;
     } else if (document.body && document.body.clientHeight) {
         return document.body.clientHeight;
     }