var allViews = [{ title: "Source" }]; 
var allViews = [{ title: WebInspector.UIString("Source"), name: "source" }]; 
WebInspector.SourcePanel = function(resource, views){    var allViews = [{ title: "Source" }];    if (views)        allViews = allViews.concat(views);    WebInspector.ResourcePanel.call(this, resource, allViews);    this.currentView = this.views.source;    var sourceView = this.views.source;    sourceView.messages = [];    sourceView.frameNeedsSetup = true;    sourceView.frameElement = document.createElement("iframe");    sourceView.frameElement.setAttribute("viewsource", "true");    sourceView.contentElement.appendChild(sourceView.frameElement);}
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/11650fd39ffebe23630ae00304720f3195cfabd4/SourcePanel.js/clean/WebCore/page/inspector/SourcePanel.js