From 8886d70b27ac18f4159d66d2b555fb3adf7d6c29 Mon Sep 17 00:00:00 2001 From: Wilmer Ricciotti Date: Wed, 22 Jun 2011 09:40:54 +0000 Subject: [PATCH] More bugfixes for matitaweb's viewlib. --- matitaB/matita/treeview/xmlTree.js | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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; -- 2.39.2