X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Ftreeview%2FxmlTree.js;h=18153485936aaaf9ef36d3c41c2f7a4d5f965c1e;hb=0cda74283ace2af53332667a32978dac2701dc78;hp=9c25b413694d2039e90ff6acf8c989ea6565c5d3;hpb=aec6af4406694eccfa7bba95a1e775c0a21f4f2c;p=helm.git

diff --git a/matitaB/matita/treeview/xmlTree.js b/matitaB/matita/treeview/xmlTree.js
index 9c25b4136..181534859 100644
--- a/matitaB/matita/treeview/xmlTree.js
+++ b/matitaB/matita/treeview/xmlTree.js
@@ -27,3 +27,7 @@ function swapFolder(img){
 function selectFile(path) {
 	dialogFilename.value = path;
 }
+
+function dialogOK() {
+          retrieveFile(document.getElementById("dialogFilename").value);
+}