From f12c76e8d705aa44da328461874532e87c7fc57a Mon Sep 17 00:00:00 2001
From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Thu, 8 Sep 2011 12:47:37 +0000
Subject: [PATCH] Matitaweb: changes in file selection dialog box.

---
 matitaB/matita/treeview/xmlTree.js | 3 +++
 1 file changed, 3 insertions(+)

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){
-- 
2.39.2