Changes to matitaweb.js (dialog box).

[helm.git] / matitaB / matita / index.html

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>