Searched refs:titleBar (Results 1 – 1 of 1) sorted by relevance
214 const titleBar = createElement("div", "range-title"); constant215 titleBar.appendChild(createElement("div", "", "Live Ranges"));221 titleEl.appendChild(titleBar);