context: function loadFile(fileIndex, manageNavLists){    var file = files[fileIndex];    if (!file)        return;    if (currentFile != -1 && files[currentFile] && files[currentFile].element)        files[currentFile].element.style.display = "none";    if (!file.loaded) {        var sourcesDocument = document.getElementById("sources").contentDocument;        var sourcesDiv = sourcesDocument.body;        var sourceDiv = sourcesDocument.createElement("div");        sourceDiv.id = "file" + fileIndex;        sourcesDiv.appendChild(sourceDiv);        file.element = sourceDiv;        var table = sourcesDocument.createElement("table");        sourceDiv.appendChild(table);        var normalizedSource = file.source.replace(/\r\n|\r/, "\n"); // normalize line endings        var lines = syntaxHighlight(normalizedSource).split("\n");        for( var i = 0; i < lines.length; i++ ) {            var tr = sourcesDocument.createElement("tr");            var td = sourcesDocument.createElement("td");            td.className = "gutter";            td.title = (i + 1);            td.addEventListener("click", addBreakPoint, true);            td.addEventListener("mousedown", moveBreakPoint, true);            tr.appendChild(td);            td = sourcesDocument.createElement("td");            td.className = "source";            td.innerHTML = (lines[i].length ? lines[i] : "&nbsp;");            tr.appendChild(td);            table.appendChild(tr);        }        file.loaded = true;    }    file.element.style.display = null;    document.getElementById("filesPopupButtonContent").innerText = (file.url ? file.url : "(unknown script)");        var filesSelect = document.getElementById("files");    for (var i = 0; i < filesSelect.childNodes.length; i++) {        if (filesSelect.childNodes[i].value == fileIndex) {            filesSelect.selectedIndex = i;            break;        }    }    if (manageNavLists) {        nextFiles = new Array();        if (currentFile != -1)            previousFiles.push(currentFile);    }    document.getElementById("navFileLeftButton").disabled = (previousFiles.length == 0);    document.getElementById("navFileRightButton").disabled = (nextFiles.length == 0);    currentFile = fileIndex;}
meta: 10664	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10664/4a711a57393ecf8acab910e9285ee831da207239/debugger.js/buggy/third_party/WebKit/WebKitTools/Drosera/debugger.js