| Index: third_party/WebKit/Source/devtools/front_end/ui/Panel.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/ui/Panel.js b/third_party/WebKit/Source/devtools/front_end/ui/Panel.js
|
| index 087e20df927cff2706d26e627d5be3b1130839ed..b791fc292b61c2defc83216a626c9d57ead35f1e 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/ui/Panel.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/ui/Panel.js
|
| @@ -46,7 +46,7 @@ WebInspector.Panel = function(name)
|
| WebInspector.panels[name] = this;
|
|
|
| this._shortcuts = /** !Object.<number, function(Event=):boolean> */ ({});
|
| -}
|
| +};
|
|
|
| // Should by in sync with style declarations.
|
| WebInspector.Panel.counterRightMargin = 25;
|
| @@ -119,7 +119,7 @@ WebInspector.Panel.prototype = {
|
| },
|
|
|
| __proto__: WebInspector.VBox.prototype
|
| -}
|
| +};
|
|
|
| /**
|
| * @extends {WebInspector.Panel}
|
| @@ -142,7 +142,7 @@ WebInspector.PanelWithSidebar = function(name, defaultWidth)
|
| this._panelSplitWidget.setSidebarWidget(this._sidebarWidget);
|
|
|
| this._sidebarWidget.element.classList.add("panel-sidebar");
|
| -}
|
| +};
|
|
|
| WebInspector.PanelWithSidebar.prototype = {
|
| /**
|
| @@ -170,4 +170,4 @@ WebInspector.PanelWithSidebar.prototype = {
|
| },
|
|
|
| __proto__: WebInspector.Panel.prototype
|
| -}
|
| +};
|
|
|