| Index: Source/devtools/front_end/inspector.js
|
| diff --git a/Source/devtools/front_end/inspector.js b/Source/devtools/front_end/inspector.js
|
| index fb709b40035a8f5f8af550f18b21b0ce90219c27..046e829c861e38ff401f5a216625716aeff180e8 100644
|
| --- a/Source/devtools/front_end/inspector.js
|
| +++ b/Source/devtools/front_end/inspector.js
|
| @@ -45,6 +45,11 @@ var WebInspector = {
|
| var profiles = new WebInspector.ProfilesPanelDescriptor();
|
| var audits = new WebInspector.PanelDescriptor("audits", WebInspector.UIString("Audits"), "AuditsPanel", "AuditsPanel.js");
|
| var console = new WebInspector.PanelDescriptor("console", WebInspector.UIString("Console"), "ConsolePanel");
|
| +/*
|
| + var dartObservatory = new WebInspector.PanelDescriptor("observatory", WebInspector.UIString("DartObservatory"), undefined, undefined,
|
| + new WebInspector.DartPanel("observatory", "http://localhost:8887/"));
|
| + var allDescriptors = [elements, resources, network, sources, timeline, profiles, audits, console, dartObservatory];
|
| +*/
|
| var allDescriptors = [elements, resources, network, sources, timeline, profiles, audits, console];
|
| if (WebInspector.experimentsSettings.layersPanel.isEnabled()) {
|
| var layers = new WebInspector.LayersPanelDescriptor();
|
|
|