Index: Source/devtools/front_end/Settings.js |
diff --git a/Source/devtools/front_end/Settings.js b/Source/devtools/front_end/Settings.js |
index 577ea5ac14797e104ff51b52dc178e12752a620c..7139d21062a00ceccf8da2b1ff7bf20cc111cab2 100644 |
--- a/Source/devtools/front_end/Settings.js |
+++ b/Source/devtools/front_end/Settings.js |
@@ -90,7 +90,6 @@ 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); |