Changes to matitaweb.js (dialog box).

diff --git a/matitaB/matita/index.html b/matitaB/matita/index.html
index f75482a6e595d1928088226c8acc6483fc359629..ab46665d31d6f363f6e169d2b9dec80852f13a7c 100644 (file)
--- 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 a5bf84adcd4610afdd532a35767654ec81434671..81995bb803ed42d8579f05d07d773ca252844b62 100644 (file)
--- 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";