From 7a440dcd035d1e5cb009098a57d5d935bcd342cf Mon Sep 17 00:00:00 2001 From: Wilmer Ricciotti Date: Wed, 22 Jun 2011 13:31:14 +0000 Subject: [PATCH] Changes to matitaweb.js (dialog box). --- matitaB/matita/index.html | 2 +- matitaB/matita/matitaweb.js | 3 +-- 2 files changed, 2 insertions(+), 3 deletions(-) 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 @@ 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("

Library

",req.responseText); } } }; @@ -501,7 +501,6 @@ function showSequent() { } function showDialog(title,content) { - dialogTitle.innerHTML = title; dialogContent.innerHTML = content; dialogBox.style.display = "block"; -- 2.39.2