| Index: Source/devtools/front_end/Settings.js
|
| diff --git a/Source/devtools/front_end/Settings.js b/Source/devtools/front_end/Settings.js
|
| index 7139d21062a00ceccf8da2b1ff7bf20cc111cab2..577ea5ac14797e104ff51b52dc178e12752a620c 100644
|
| --- a/Source/devtools/front_end/Settings.js
|
| +++ b/Source/devtools/front_end/Settings.js
|
| @@ -90,6 +90,7 @@ WebInspector.Settings = function()
|
| this.overrideDeviceOrientation = this.createSetting("overrideDeviceOrientation", false);
|
| this.deviceOrientationOverride = this.createSetting("deviceOrientationOverride", "");
|
| this.showAdvancedHeapSnapshotProperties = this.createSetting("showAdvancedHeapSnapshotProperties", false);
|
| + this.highResolutionCpuProfiling = this.createSetting("highResolutionCpuProfiling", false);
|
| this.searchInContentScripts = this.createSetting("searchInContentScripts", false);
|
| this.textEditorIndent = this.createSetting("textEditorIndent", " ");
|
| this.textEditorAutoDetectIndent = this.createSetting("textEditorAutoIndentIndent", true);
|
|
|