From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Wed, 22 Jun 2011 13:31:14 +0000 (+0000)
Subject: Changes to matitaweb.js (dialog box).
X-Git-Tag: make_still_working~2403
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7a440dcd035d1e5cb009098a57d5d935bcd342cf;p=helm.git

Changes to matitaweb.js (dialog box).
---

diff --git a/matitaB/matita/index.html b/matitaB/matita/index.html
index f75482a6e..ab46665d3 100644
--- a/matitaB/matita/index.html
+++ b/matitaB/matita/index.html
@@ -61,7 +61,7 @@
 </table>
 
 <div class="dialog" id="dialogBox" style="display: none;">
-  <div class="diaTitle" id="dialogTitle">Title</div>
+  <div class="diaTitle" id="dialogTitle"></div>
   <div class="scroll" id="dialogContent"></div>
 </div>
  </body>
diff --git a/matitaB/matita/matitaweb.js b/matitaB/matita/matitaweb.js
index a5bf84adc..81995bb80 100644
--- a/matitaB/matita/matitaweb.js
+++ b/matitaB/matita/matitaweb.js
@@ -478,7 +478,7 @@ function showLibrary()
 			if(stat == 200)
 			{
 			  debug(req.responseText);
-			  showDialog("Library",req.responseText);
+			  showDialog("<H2>Library</H2>",req.responseText);
 			} 
 		} 
 	};
@@ -501,7 +501,6 @@ function showSequent() {
 }
 
 function showDialog(title,content) {
-
   dialogTitle.innerHTML = title;
   dialogContent.innerHTML = content;
   dialogBox.style.display = "block";