This is used twice already, and we'll want another one soon.
<script type='text/javascript'><!--
var LAST_EXPAND = null;
function elt(id) { return document.getElementById(id); }
<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) {
function add_elt_class(elt, cls) {
- if (!elt.className.match('\\\\b' + cls + '\\\\b'))
- elt.className += ' ' + cls;
+ if (!elt_class_p(elt, cls)) elt.className += ' ' + cls;
}
function rm_elt_class(elt, cls) {
elt.className = elt.className.replace(
}
function rm_elt_class(elt, cls) {
elt.className = elt.className.replace(
function toggle_expand(ev, tag) {
var d = elt('logdump-' + tag);
var b = elt('expand-' + tag);
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);
+ if (elt_class_p(d, 'hide')) do_show(d, b);
else do_hide(d, b);
ev.preventDefault();
}
else do_hide(d, b);
ev.preventDefault();
}