From d943958c6e0286068056a74fbb4e98349227420c Mon Sep 17 00:00:00 2001 From: matitaweb Date: Thu, 8 Sep 2011 15:11:18 +0000 Subject: [PATCH] Matitaweb: fixed "new file". --- matitaB/matita/matitaweb.js | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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); } -- 2.39.2