if (tabs_helper.debug) messages.debug ("setting active for " + domid + " to active_domid=" + active_domid);
// build something like "#uldomid a[href='#active_domid']"
var selector="#"+domid+" a[href='#"+active_domid+"']";
if (tabs_helper.debug) messages.debug ("setting active for " + domid + " to active_domid=" + active_domid);
// build something like "#uldomid a[href='#active_domid']"
var selector="#"+domid+" a[href='#"+active_domid+"']";