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

diff --git a/matitaB/matita/treeview/xmlTree.js b/matitaB/matita/treeview/xmlTree.js
index 9c25b4136..c1a5c997f 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() {
+          dialogBox.callback(document.getElementById("dialogFilename").value);
+}