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; |