rem: intense_annot(document.getElementById(section),Selections,Rtids); 
add: intense_annot(section,Selections,Rtids); } 
context: function highlightSelections(rtidsBySn) {  // fixme todo: p drm.0 and sent drm.0.0 get called separately, and this fucks things up.  // (this is GIGO: nothing should be drm.0, only drm.0.0 .  Still, should be fixed at some point)  // ah, now it has to be fixed so we can highlight new annots.  for (var section in rtidsBySn) {    var Selections = new Array();    var Rtids = new Array();    for (var i = 0; i < rtidsBySn[section].length; i++) {      var rtid = rtidsBySn[section][i];      Selections.push(ticketObj[rtid].selection);      Rtids.push(rtid);    }    intense_annot(document.getElementById(section),Selections,Rtids);	        }}
meta: 891	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/891/d81801bea5a832c839d00f7eb346766a61b5d1ee/stet-intense-shorter.js/buggy/stet-intense-shorter.js