| 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 41d618c58d4ab22fa27a099b24d24d15c73e3456..1b56411c4f754c5e8f230a942a09c41cc8813ff2 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/ui/SplitWidget.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/ui/SplitWidget.js
|
| @@ -78,9 +78,10 @@ WebInspector.SplitWidget.ShowMode = {
|
| OnlySidebar: "OnlySidebar"
|
| }
|
|
|
| +/** @enum {symbol} */
|
| WebInspector.SplitWidget.Events = {
|
| - SidebarSizeChanged: "SidebarSizeChanged",
|
| - ShowModeChanged: "ShowModeChanged"
|
| + SidebarSizeChanged: Symbol("SidebarSizeChanged"),
|
| + ShowModeChanged: Symbol("ShowModeChanged")
|
| }
|
|
|
| WebInspector.SplitWidget.MinPadding = 20;
|
|
|