Searched refs:the_header (Results 1 – 1 of 1) sorted by relevance
184 let the_header = { "header":true, "title":content_key, "intervals_idxes":[] }; class in GenerateTimeLine_DBus185 titles.push(the_header);212 …the_header.intervals_idxes.push(interval_idx); // Keep the indices into the intervals array for u…219 the_header.intervals_idxes.forEach((i) => {257 the_header.merged_intervals = merged_intervals;