X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Fmatitaweb.js;h=ec19562b248e819a0ab1bb3fb25e35aa59c318d1;hb=d943958c6e0286068056a74fbb4e98349227420c;hp=fc90080d255a16cd18ed359ef624a2f8e8e83046;hpb=83fa6fc1317f18af956b194b996afae10ec859a7;p=helm.git diff --git a/matitaB/matita/matitaweb.js b/matitaB/matita/matitaweb.js index fc90080d2..ec19562b2 100644 --- a/matitaB/matita/matitaweb.js +++ b/matitaB/matita/matitaweb.js @@ -707,7 +707,8 @@ function newDialog() { callback = function (fname) { dialogBox.style.display = "none"; - saveFile(fname,"","",false,newDialog); + saveFile(fname,"","",false,newDialog); + retrieveFile(fname); }; showLibrary("Create new file", callback); }