 var frameBody = document.getElementById("sources").contentDocument.body; if (currentFile != -1) files[currentFile].scrollPosition = frameBody.scrollTop; frameBody.scrollTop = file.scrollPosition; frameBody.scrollLeft = 0;  
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/g, "\n"); // normalize line endings        var lines = syntaxHighlight(normalizedSource, file).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", breakpointAction, true);            td.addEventListener("dblclick", function() { toggleBreakpointEditorOnLine(event.target.title); }, 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.removeProperty("display");    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;        }    }    // Populate the function names pop-up    if (file.functionNames.length > 0) {        var functionSelect = document.getElementById("functions");        var functionOption = document.createElement("option");                document.getElementById("functionNamesPopup").style.display = "inline";        switchFunction(0, true);                functionSelect.removeChildren();        functionOption.value = null;        functionOption.text = "< no selected symbol >";        functionSelect.appendChild(functionOption);                for (var i = 0; i < file.functionNames.length; i++) {            functionOption = document.createElement("option");            functionOption.value = fileIndex + "-" + (i+1);            functionOption.text = file.functionNames[i] + "()";            functionSelect.appendChild(functionOption);        }    } else        document.getElementById("functionNamesPopup").style.display = "none";        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;}
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/bf4b6c64c928fdf77fbf5692ec1a09f3e772b06d/debugger.js/clean/WebKitTools/Drosera/debugger.js