[MAJOR: support for folding.
argot@x9c.fr**20110622044411
 Ignore-this: 7be7bcbf4ca322f42889436938e12921
] hunk ./src/main.ml 32
+  val mutable next_fold_id = 0
+
hunk ./src/main.ml 139
+  | "fold" ->
+      let id = string_of_int next_fold_id in
+      next_fold_id <- succ next_fold_id;
+      let text = Printf.sprintf "%S" (self#trimmed_string_of_text text) in
+      Buffer.add_string buff "<script type=\"text/javascript\">\n";
+      Buffer.add_string buff "<!--\n";
+      Buffer.add_string buff ("  var argot_fold_state_" ^ id ^ " = false;\n");
+      Buffer.add_string buff ("  var argot_fold_text_" ^ id ^ " = " ^ text ^ ";\n");
+      Buffer.add_string buff ("  function argot_fold_" ^ id ^ "() {\n");
+      Buffer.add_string buff ("    if (argot_fold_state_" ^ id ^ ") {\n");
+      Buffer.add_string buff ("      document.getElementById('argot_fold_" ^ id ^ "').innerHTML = \"\";\n");
+      Buffer.add_string buff ("    } else {\n");
+      Buffer.add_string buff ("      document.getElementById('argot_fold_" ^ id ^ "').innerHTML = argot_fold_text_" ^ id ^ ";\n");
+      Buffer.add_string buff ("    };\n");
+      Buffer.add_string buff ("    argot_fold_state_" ^ id ^ " = !argot_fold_state_" ^ id ^";\n");
+      Buffer.add_string buff ("  }\n");
+      Buffer.add_string buff "//-->\n";
+      Buffer.add_string buff "</script>\n";
+      Buffer.add_string buff ("<a href=\"javascript:argot_fold_" ^ id ^ "();\">...</a>\n");
+      Buffer.add_string buff ("<div id=\"argot_fold_" ^ id ^ "\">\n");
+      Buffer.add_string buff "</div>\n"