From: matitaweb Date: Thu, 8 Sep 2011 15:11:18 +0000 (+0000) Subject: Matitaweb: fixed "new file". X-Git-Tag: make_still_working~2299 X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=d943958c6e0286068056a74fbb4e98349227420c Matitaweb: fixed "new file". --- 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); }