+ <script type='text/javascript'><!--
+ var LAST_EXPAND = null;
+ function elt(id) { return document.getElementById(id); }
+ function add_elt_class(elt, cls) {
+ if (!elt.className.match('\\\\b' + cls + '\\\\b'))
+ elt.className += ' ' + cls;
+ }
+ function rm_elt_class(elt, cls) {
+ elt.className = elt.className.replace(
+ new RegExp('\\\\s*\\\\b' + cls + '\\\\b\\\\s*'), ' ');
+ }
+ function toggle_expand(ev, tag) {
+ var d = elt('logdump-' + tag);
+ var b = elt('expand-' + tag);
+ if (d.className.match(/\bhide\b/)) do_show(d, b);
+ else do_hide(d, b);
+ ev.preventDefault();
+ }
+ function do_show(d, b) {
+ rm_elt_class(d, 'hide');
+ b.textContent = '[hide]';
+ }
+ function do_hide(d, b) {
+ add_elt_class(d, 'hide');
+ b.textContent = '[show]';
+ }
+ function expand_log(tag) {
+ if (LAST_EXPAND !== null)
+ do_hide(LAST_EXPAND[0], LAST_EXPAND[1]);
+ var d = elt('logdump-' + tag);
+ var b = elt('expand-' + tag);
+ LAST_EXPAND = [d, b];
+ do_show(d, b);
+ }
+ function make_toggle_button(tag) {
+ document.write(
+ "<a class=expand-button id='expand-" + tag + "' href='#' " +
+ "onclick='toggle_expand(event, \"" + tag + "\")'>" +
+ "[show]" +
+ "</a>");
+ }
+ function hide_logdump(tag) {
+ add_elt_class(elt('logdump-' + tag), 'hide');
+ }
+ --></script>