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 5c68710e10569c6b11360d9b4c63824db7d314f3..697bf0f55d16a00fe43fe8bbe509acff31c5157a 100644 (file)
--- 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)",
-          " Compressed", mode_list[5] == "yes");
+          " Compressed", mode_list[5] == "gz");
          outputCheckbox(document, "updateDTDPatched(this)",
           " Resolve DTD URL", mode_list[6] == "yes");
         } else {