X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Fhtml%2Ftreeview%2FxmlTree.js;fp=matitaB%2Fmatita%2Fhtml%2Ftreeview%2FxmlTree.js;h=c1a5c997fad566e6612a2603c419fbc3622ee09a;hb=e499c2e36d8a39c4749b8e0e34438b49532d15b8;hp=0000000000000000000000000000000000000000;hpb=11a20b624a4b5ed18008678cf6cd46dd9a32634d;p=helm.git

diff --git a/matitaB/matita/html/treeview/xmlTree.js b/matitaB/matita/html/treeview/xmlTree.js
new file mode 100644
index 000000000..c1a5c997f
--- /dev/null
+++ b/matitaB/matita/html/treeview/xmlTree.js
@@ -0,0 +1,33 @@
+var openImg = new Image();
+openImg.src = "treeview/open.gif";
+var closedImg = new Image();
+closedImg.src = "treeview/closed.gif";
+
+var diaFilename = document.getElementById("dialogFilename");
+
+function showBranch(branch,path){
+	var objBranch = document.getElementById(branch).style;
+	if(objBranch.display=="block")
+		objBranch.display="none";
+	else
+		objBranch.display="block";
+	swapFolder('I' + branch);
+	// codice per mostrare il path nella casella di testo
+	selectFile(path);
+}
+
+function swapFolder(img){
+	objImg = document.getElementById(img);
+	if(objImg.src.indexOf('treeview/closed.gif')>-1)
+		objImg.src = openImg.src;
+	else
+		objImg.src = closedImg.src;
+}
+
+function selectFile(path) {
+	dialogFilename.value = path;
+}
+
+function dialogOK() {
+          dialogBox.callback(document.getElementById("dialogFilename").value);
+}