Second attempt at dialog boxes in index.html.

diff --git a/matitaB/matita/matitaweb.js b/matitaB/matita/matitaweb.js
index f66223c6e5d097ad76e7758e58798bd6b203d53f..21478e4634c69e13b8ac42fb8f728e943cd8f5ad 100644 (file)
--- a/matitaB/matita/matitaweb.js
+++ b/matitaB/matita/matitaweb.js
@@ -459,7 +459,7 @@ function showSequent() {
 
 function showDialog(title) {
 
-  dialogBox.display = "block";
+  dialogBox.style.display = "block";
   dialogTitle.innerHTML = title; 
 }