Changeset 85847 in webkit

Timestamp:

May 5, 2011 3:41:36 AM (13 years ago)

Author:

yurys@chromium.org

Message:

2011-05-04 Yury Semikhatsky <​yurys@chromium.org>

Reviewed by Pavel Feldman.

Web Inspector: show only Console and Scripts panels in worker inspector front-end
​https://bugs.webkit.org/show_bug.cgi?id=60159

• inspector/front-end/WorkerManager.js: (WebInspector.WorkerManager.isWorkerFrontend):
• inspector/front-end/inspector.js: show only Scripts and Console panels in the worker inspector front-end.

Location:

trunk/Source/WebCore

Files:

• ChangeLog (modified) (1 diff)
• inspector/front-end/WorkerManager.js (modified) (1 diff)
• inspector/front-end/inspector.js (modified) (1 diff)

trunk/Source/WebCore/ChangeLog

@@ +1 @@
+2011-05-04  Yury Semikhatsky  <yurys@chromium.org>
+
+        Reviewed by Pavel Feldman.
+
+        Web Inspector: show only Console and Scripts panels in worker inspector front-end
+        https://bugs.webkit.org/show_bug.cgi?id=60159
+
+        * inspector/front-end/WorkerManager.js:
+        (WebInspector.WorkerManager.isWorkerFrontend):
+        * inspector/front-end/inspector.js: show only Scripts and Console panels in the worker inspector front-end.
+
 2011-05-03  Hans Wennborg  <hans@chromium.org>
 

trunk/Source/WebCore/inspector/front-end/WorkerManager.js

@@ -31 +31 @@
 WebInspector.WorkerManager = function()
 {
+}
+
+WebInspector.WorkerManager.isWorkerFrontend = function()
+{
+    return !!WebInspector.queryParamsObject["workerId"];
 }
 

trunk/Source/WebCore/inspector/front-end/inspector.js

@@ -154 +154 @@
     _createPanels: function()
     {
+        if (WebInspector.WorkerManager.isWorkerFrontend()) {
+            this.panels.scripts = new WebInspector.ScriptsPanel();
+            this.panels.console = new WebInspector.ConsolePanel();
+            return;
+        }
         var hiddenPanels = (InspectorFrontendHost.hiddenPanels() || "").split(',');
         if (hiddenPanels.indexOf("elements") === -1)