From ad7b6a9c7ed52fea826a29f17854dce6d9a017ce Mon Sep 17 00:00:00 2001
From: =?utf8?q?Benoi=CC=82t=20Pin?= <pin@cri.ensmp.fr>
Date: Tue, 14 Apr 2015 09:46:24 +0200
Subject: [PATCH 1/1] =?utf8?q?M=C3=A9nage=20/=20lint.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

---
 Products/Plinn/skins/ajax_scripts/DHTMLapi.js | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

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;
     }
-- 
2.20.1