More bugfixes for matitaweb's viewlib.

diff --git a/matitaB/matita/treeview/xmlTree.js b/matitaB/matita/treeview/xmlTree.js
index c5f75b9f893159ed634c9c81577b7d65312d390b..9fdbb34dddfea6706baaf1724fb9a0ff78744190 100644 (file)
--- a/matitaB/matita/treeview/xmlTree.js
+++ b/matitaB/matita/treeview/xmlTree.js
@@ -1,7 +1,7 @@
 var openImg = new Image();\r
-openImg.src = "open.gif";\r
+openImg.src = "treeview/open.gif";\r
 var closedImg = new Image();\r
-closedImg.src = "closed.gif";\r
+closedImg.src = "treeview/closed.gif";\r
 \r
 function showBranch(branch){\r
        var objBranch = document.getElementById(branch).style;\r
@@ -14,7 +14,7 @@ function showBranch(branch){
 \r
 function swapFolder(img){\r
        objImg = document.getElementById(img);\r
-       if(objImg.src.indexOf('closed.gif')>-1)\r
+       if(objImg.src.indexOf('treeview/closed.gif')>-1)\r
                objImg.src = openImg.src;\r
        else\r
                objImg.src = closedImg.src;\r