From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 25 Jun 2001 17:02:53 +0000 (+0000)
Subject: Bug fixed: Compressed was not checked well on control frame load.
X-Git-Tag: v0_1_3~138
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9baa61064d841920029dab99d598933649fc00bd;p=helm.git

Bug fixed: Compressed was not checked well on control frame load.
"yes" ==> "compressed"
---

diff --git a/helm/on-line/html/library/control.html b/helm/on-line/html/library/control.html
index 5c68710e1..697bf0f55 100644
--- a/helm/on-line/html/library/control.html
+++ b/helm/on-line/html/library/control.html
@@ -77,7 +77,7 @@
 	var mode_list = mode.split(',');
 	if (mode_list[0] == "raw") {
          outputCheckbox(document, "updateCompressed(this)",
-          "&nbsp;Compressed", mode_list[5] == "yes");
+          "&nbsp;Compressed", mode_list[5] == "gz");
          outputCheckbox(document, "updateDTDPatched(this)",
           "&nbsp;Resolve DTD URL", mode_list[6] == "yes");
         } else {