X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Ftreeview%2FxmlTree.js;h=c1a5c997fad566e6612a2603c419fbc3622ee09a;hb=1083ac3b1acac5f1ac1fa40a9a417dd9d268dced;hp=0f3547bad04894610d4f0cf4f237f538718291d1;hpb=43c8894e56290dae4bfb93c0361bc396664e1b1f;p=helm.git

diff --git a/matitaB/matita/treeview/xmlTree.js b/matitaB/matita/treeview/xmlTree.js
index 0f3547bad..c1a5c997f 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
+	selectFile(path);
 }
 
 function swapFolder(img){
@@ -20,3 +23,11 @@ function swapFolder(img){
 	else
 		objImg.src = closedImg.src;
 }
+
+function selectFile(path) {
+	dialogFilename.value = path;
+}
+
+function dialogOK() {
+          dialogBox.callback(document.getElementById("dialogFilename").value);
+}