← Back to branch summary

~ubuntu-branches/ubuntu/karmic/webkit/karmic-proposed

« back to all changes in this revision

Viewing changes to WebCore/inspector/front-end/inspector.js

  • Committer: Bazaar Package Importer
  • Author(s): Gustavo Noronha Silva
  • Date: 2009-05-15 18:30:58 UTC
  • mfrom: (1.1.8 upstream)
  • Revision ID: james.westby@ubuntu.com-20090515183058-50q5exjo9b1kxy9s
Tags: 1.1.7-1
http://bugs.debian.org/526683
* New upstream release
* debian/libwebkit-1.0-2.symbols:
- updated with the new symbols in 1.1.7
* debian/libwebkit-dev.install, debian/libwebkit-dev.links,
  debian/rules:
- Build, and ship gtk-doc documentation (Closes: #526683)
* debian/copyright:
- updated.

Show diffs side-by-side

added added

removed removed

Lines of Context:
WebCore/inspector/front-end/inspector.js
279
279
    document.body.addStyleClass("platform-" + platform);
280
280
 
281
281
    this.console = new WebInspector.Console();
282
 
    this.panels = {
283
 
        elements: new WebInspector.ElementsPanel(),
284
 
        resources: new WebInspector.ResourcesPanel(),
285
 
        scripts: new WebInspector.ScriptsPanel(),
286
 
        profiles: new WebInspector.ProfilesPanel(),
287
 
        databases: new WebInspector.DatabasesPanel()
288
 
    };
289
282
 
 
283
    this.panels = {};
290
284
    var hiddenPanels = (InspectorController.hiddenPanels() || "").split(',');
 
285
    if (hiddenPanels.indexOf("elements") === -1)
 
286
        this.panels.elements = new WebInspector.ElementsPanel();
 
287
    if (hiddenPanels.indexOf("resources") === -1)
 
288
        this.panels.resources = new WebInspector.ResourcesPanel();
 
289
    if (hiddenPanels.indexOf("scripts") === -1)
 
290
        this.panels.scripts = new WebInspector.ScriptsPanel();
 
291
    if (hiddenPanels.indexOf("profiles") === -1)
 
292
        this.panels.profiles = new WebInspector.ProfilesPanel();
 
293
    if (hiddenPanels.indexOf("databases") === -1)
 
294
        this.panels.databases = new WebInspector.DatabasesPanel();
291
295
 
292
296
    var toolbarElement = document.getElementById("toolbar");
293
297
    var previousToolbarItem = toolbarElement.children[0];
294
298
 
295
299
    for (var panelName in this.panels) {
296
 
        if (hiddenPanels.indexOf(panelName) !== -1)
297
 
            continue;
298
300
        var panel = this.panels[panelName];
299
301
        var panelToolbarItem = panel.toolbarItem;
300
302
        panelToolbarItem.addEventListener("click", this._toolbarItemClicked.bind(this));