+ <script type='text/javascript'><!--
+ var LAST_EXPAND = null;
+ function elt(id) { return document.getElementById(id); }
+ function elt_class_p(elt, cls) {
+ return elt.className.match('\\\\b' + cls + '\\\\b');
+ }
+ function add_elt_class(elt, cls) {
+ if (!elt_class_p(elt, cls)) 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 (elt_class_p(d, 'hide')) 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]';
+ if (LAST_EXPAND !== null && d === LAST_EXPAND[0])
+ LAST_EXPAND = null;
+ }
+ 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);
+ if (elt_class_p(d, 'hide')) {
+ 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>