| Index: Source/devtools/front_end/common/Settings.js
|
| diff --git a/Source/devtools/front_end/common/Settings.js b/Source/devtools/front_end/common/Settings.js
|
| index 1771bd7ef24638a3e35b2a222051e7925f00abf6..fb7c3756ae82906495e39e4a39e54d4b32e8d74a 100644
|
| --- a/Source/devtools/front_end/common/Settings.js
|
| +++ b/Source/devtools/front_end/common/Settings.js
|
| @@ -333,7 +333,7 @@ WebInspector.VersionController = function()
|
| }
|
|
|
| WebInspector.VersionController._currentVersionName = "inspectorVersion";
|
| -WebInspector.VersionController.currentVersion = 12;
|
| +WebInspector.VersionController.currentVersion = 13;
|
|
|
| WebInspector.VersionController.prototype = {
|
| updateVersion: function()
|
| @@ -581,6 +581,11 @@ WebInspector.VersionController.prototype = {
|
| }
|
| },
|
|
|
| + _updateVersionFrom12To13: function()
|
| + {
|
| + WebInspector.settings.createSetting("timelineOverviewMode", "").remove();
|
| + },
|
| +
|
| /**
|
| * @param {!WebInspector.Setting} breakpointsSetting
|
| * @param {number} maxBreakpointsCount
|
|
|