| 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 = {
|
|
|