diff --git a/suite/common/directory/directory.js b/suite/common/directory/directory.js index ef53ecd72078..055f7c9bdb57 100644 --- a/suite/common/directory/directory.js +++ b/suite/common/directory/directory.js @@ -167,17 +167,17 @@ function Init() { debug("append traiing slash to FTP directory URL\n"); baseURI += "/"; - } - - // Lets also enable the loggin window. - - var node = document.getElementById("main-splitter"); - node.setAttribute("hidden", false); - - node = document.getElementById("logbox"); - node.setAttribute("hidden", false); + } + + // Lets also enable the loggin window. + + var node = document.getElementById("main-splitter"); + node.setAttribute("hidden", false); + + node = document.getElementById("logbox"); + node.setAttribute("hidden", false); } - + if (baseURI && (baseURI.indexOf("file://") != 0)) { // Note: DON'T add the HTTPIndex datasource into the tree // for file URLs, only do it for FTP/Gopher/etc URLs; the "rdf:files" @@ -225,7 +225,7 @@ function DoUnload() var tree = document.getElementById("tree"); if (tree) { - tree.database.RemoveDatasource(HTTPIndex); + tree.database.RemoveDatasource(HTTPIndex); tree.database.RemoveObserver(RDF_observer); debug("Directory: removed observer\n"); } @@ -392,28 +392,28 @@ function BeginDragTree ( event ) return(!dragStarted); } - -function scrollDown() -{ - window.frames[0].scrollTo(0, window.frames[0].document.height); -} - -function OnFTPControlLog( server, msg ) -{ - var logdoc = frames[0].document; - var logdocDiv = logdoc.getElementById("logboxDiv"); - var div = document.createElementNS("http://www.w3.org/1999/xhtml", - "html:div"); - - if (server) - div.setAttribute("class", "server"); - else - div.setAttribute("class", "client"); - - div.appendChild (document.createTextNode(msg)); - - logdocDiv.appendChild(div); - - scrollDown(); -} - + +function scrollDown() +{ + window.frames[0].scrollTo(0, window.frames[0].document.height); +} + +function OnFTPControlLog( server, msg ) +{ + var logdoc = frames[0].document; + var logdocDiv = logdoc.getElementById("logboxDiv"); + var div = document.createElementNS("http://www.w3.org/1999/xhtml", + "html:div"); + + if (server) + div.setAttribute("class", "server"); + else + div.setAttribute("class", "client"); + + div.appendChild (document.createTextNode(msg)); + + logdocDiv.appendChild(div); + + scrollDown(); +} +