Index: third_party/WebKit/Source/devtools/front_end/ui/ZoomManager.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/ui/ZoomManager.js b/third_party/WebKit/Source/devtools/front_end/ui/ZoomManager.js |
index f67ad0642982cbfb5632de6bd62596892aa245d4..e619fed2babb31bae70e54ff3a3c2879a20ecba5 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/ui/ZoomManager.js |
+++ b/third_party/WebKit/Source/devtools/front_end/ui/ZoomManager.js |
@@ -15,8 +15,9 @@ WebInspector.ZoomManager = function(window, frontendHost) |
window.addEventListener("resize", this._onWindowResize.bind(this), true); |
}; |
+/** @enum {symbol} */ |
WebInspector.ZoomManager.Events = { |
- ZoomChanged: "ZoomChanged" |
+ ZoomChanged: Symbol("ZoomChanged") |
}; |
WebInspector.ZoomManager.prototype = { |