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

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

diff --git a/matitaB/matita/treeview/xmlTree.js b/matitaB/matita/treeview/xmlTree.js
index c3210adc3..9c25b4136 100644
--- a/matitaB/matita/treeview/xmlTree.js
+++ b/matitaB/matita/treeview/xmlTree.js
@@ -13,7 +13,7 @@ function showBranch(branch,path){
 		objBranch.display="block";
 	swapFolder('I' + branch);
 	// codice per mostrare il path nella casella di testo
-	dialogFilename.value = path;
+	selectFile(path);
 }
 
 function swapFolder(img){
@@ -23,3 +23,7 @@ function swapFolder(img){
 	else
 		objImg.src = closedImg.src;
 }
+
+function selectFile(path) {
+	dialogFilename.value = path;
+}
-- 
2.39.2