From d943958c6e0286068056a74fbb4e98349227420c Mon Sep 17 00:00:00 2001
From: matitaweb <claudio.sacerdoticoen@unibo.it>
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