| Index: third_party/WebKit/Source/devtools/front_end/ui/SplitWidget.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/ui/SplitWidget.js b/third_party/WebKit/Source/devtools/front_end/ui/SplitWidget.js
|
| index 894f333a07af7c89aa09957a0041230bbb6a3866..2800c612939f5c1964931e608e651b43b562ce83 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/ui/SplitWidget.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/ui/SplitWidget.js
|
| @@ -67,7 +67,7 @@ WebInspector.SplitWidget = function(isVertical, secondIsSidebar, settingName, de
|
|
|
| // Should be called after isVertical has the right value.
|
| this.installResizer(this._resizerElement);
|
| -}
|
| +};
|
|
|
| /** @typedef {{showMode: string, size: number}} */
|
| WebInspector.SplitWidget.SettingForOrientation;
|
| @@ -76,13 +76,13 @@ WebInspector.SplitWidget.ShowMode = {
|
| Both: "Both",
|
| OnlyMain: "OnlyMain",
|
| OnlySidebar: "OnlySidebar"
|
| -}
|
| +};
|
|
|
| /** @enum {symbol} */
|
| WebInspector.SplitWidget.Events = {
|
| SidebarSizeChanged: Symbol("SidebarSizeChanged"),
|
| ShowModeChanged: Symbol("ShowModeChanged")
|
| -}
|
| +};
|
|
|
| WebInspector.SplitWidget.MinPadding = 20;
|
|
|
| @@ -918,4 +918,4 @@ WebInspector.SplitWidget.prototype = {
|
| },
|
|
|
| __proto__: WebInspector.Widget.prototype
|
| -}
|
| +};
|
|
|