document.body.addStyleClass("platform-" + InspectorController.platform()); 
var platform = InspectorController.platform(); document.body.addStyleClass("platform-" + platform); 
WebInspector.loaded = function(){    document.body.addStyleClass("platform-" + InspectorController.platform());    this.fileOutline = new TreeOutline(document.getElementById("list"));    this.fileOutline.expandTreeElementsWhenArrowing = true;    this.statusOutline = new TreeOutline(document.getElementById("status"));    this.statusOutline.expandTreeElementsWhenArrowing = true;    this.resourceCategories = {        documents: new WebInspector.ResourceCategory(WebInspector.UIString("documents"), "documents"),        stylesheets: new WebInspector.ResourceCategory(WebInspector.UIString("stylesheets"), "stylesheets"),        images: new WebInspector.ResourceCategory(WebInspector.UIString("images"), "images"),        scripts: new WebInspector.ResourceCategory(WebInspector.UIString("scripts"), "scripts"),        fonts: new WebInspector.ResourceCategory(WebInspector.UIString("fonts"), "fonts"),        databases: new WebInspector.ResourceCategory(WebInspector.UIString("databases"), "databases"),        other: new WebInspector.ResourceCategory(WebInspector.UIString("other"), "other")    };    this.Tips = {        ResourceNotCompressed: {id: 0, message: WebInspector.UIString("You could save bandwidth by having your web server compress this transfer with gzip or zlib.")}    };    this.Warnings = {        IncorrectMIMEType: {id: 0, message: WebInspector.UIString("Resource interpreted as %s but transferred with MIME type %s.")}    };    this.consoleListItem = new WebInspector.ConsoleStatusTreeElement(WebInspector.consolePanel);    this.statusOutline.appendChild(this.consoleListItem);    this.networkListItem = new WebInspector.StatusTreeElement(WebInspector.UIString("Network"), "network", WebInspector.networkPanel);    this.statusOutline.appendChild(this.networkListItem);    this.resourceCategories.documents.listItem.expand();    this.currentFocusElement = document.getElementById("sidebar");    this.addMainEventListeners(document);    window.addEventListener("unload", this.windowUnload.bind(this), true);    window.addEventListener("resize", this.windowResize.bind(this), true);    document.addEventListener("mousedown", this.changeFocus.bind(this), true);    document.addEventListener("focus", this.changeFocus.bind(this), true);    document.addEventListener("keypress", this.documentKeypress.bind(this), true);    document.addEventListener("beforecopy", this.documentCanCopy.bind(this), true);    document.addEventListener("copy", this.documentCopy.bind(this), true);    document.getElementById("back").title = WebInspector.UIString("Show previous panel.");    document.getElementById("forward").title = WebInspector.UIString("Show next panel.");    document.getElementById("search").setAttribute("placeholder", WebInspector.UIString("Search"));    document.getElementById("back").addEventListener("click", this.back.bind(this), true);    document.getElementById("forward").addEventListener("click", this.forward.bind(this), true);    this.updateBackForwardButtons();    document.getElementById("attachToggle").addEventListener("click", this.toggleAttach.bind(this), true);    document.getElementById("statusToggle").addEventListener("click", this.toggleStatusArea.bind(this), true);    document.getElementById("sidebarResizeWidget").addEventListener("mousedown", this.sidebarResizerDragStart, true);    document.getElementById("sidebarResizer").addEventListener("mousedown", this.sidebarResizerDragStart, true);    document.getElementById("searchResultsResizer").addEventListener("mousedown", this.searchResultsResizerDragStart, true);    document.body.addStyleClass("detached");    InspectorController.loaded();}
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/92232b6dba3a32b10ef68860c6eb54e48238744c/inspector.js/clean/WebCore/page/inspector/inspector.js