Searched refs:codeHeader (Results 1 – 1 of 1) sorted by relevance
154 const codeHeader = document.createElement("div"); constant155 codeHeader.setAttribute("id", this.getCodeHeaderHtmlElementName());156 codeHeader.classList.add("code-header");160 codeHeader.appendChild(codeFileFunction);164 codeHeader.appendChild(codeModeDiv);167 codeHeader.appendChild(clearDiv);168 sourceContainer.appendChild(codeHeader);174 codeHeader.onclick = function myFunction() {