From 07c264b088aa018552a810ff365b0d889fb0fd5c Mon Sep 17 00:00:00 2001
From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Wed, 22 Jun 2011 12:39:51 +0000
Subject: [PATCH] Second attempt at dialog boxes in index.html.

---
 matitaB/matita/matitaweb.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/matitaB/matita/matitaweb.js b/matitaB/matita/matitaweb.js
index f66223c6e..21478e463 100644
--- 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; 
 }
 
-- 
2.39.2