X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Ftreeview%2FxmlTree.js;h=c3210adc35feafe0476c655d701283723d179703;hb=f12c76e8d705aa44da328461874532e87c7fc57a;hp=0f3547bad04894610d4f0cf4f237f538718291d1;hpb=273e8f68de92a36c95f2ea44e6180534f47f4c70;p=helm.git

diff --git a/matitaB/matita/treeview/xmlTree.js b/matitaB/matita/treeview/xmlTree.js
index 0f3547bad..c3210adc3 100644
--- a/matitaB/matita/treeview/xmlTree.js
+++ b/matitaB/matita/treeview/xmlTree.js
@@ -3,6 +3,8 @@ 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")
@@ -11,6 +13,7 @@ function showBranch(branch,path){
 		objBranch.display="block";
 	swapFolder('I' + branch);
 	// codice per mostrare il path nella casella di testo
+	dialogFilename.value = path;
 }
 
 function swapFolder(img){