From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Wed, 22 Jun 2011 09:40:54 +0000 (+0000)
Subject: More bugfixes for matitaweb's viewlib.
X-Git-Tag: make_still_working~2415
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8886d70b27ac18f4159d66d2b555fb3adf7d6c29;p=helm.git

More bugfixes for matitaweb's viewlib.
---

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