Searched refs:instrMarker (Results 1 – 1 of 1) sorted by relevance
92 const instrMarker = createElement("div", "instr-marker com", marker); constant93 instrMarker.setAttribute("title", tooltip);94 instrMarker.onclick = mkNodeLinkHandler(node.id);95 nodeEl.appendChild(instrMarker);131 const instrMarker = createElement("div", "instr-marker com", "⊙"); constant132 instrMarker.setAttribute("title", `Instructions range for this block is [${start}, ${end})`);133 instrMarker.onclick = mkBlockLinkHandler(block.id);134 scheduleBlock.appendChild(instrMarker);