Allow configuring CPU profiler sampling interval

Source/devtools/front_end/SettingsScreen.js

Index: Source/devtools/front_end/SettingsScreen.js
diff --git a/Source/devtools/front_end/SettingsScreen.js b/Source/devtools/front_end/SettingsScreen.js
index 419651f333967569c2a689827f15dbdabbac4d38..8fccde4952176c51a34630444b41bed6bf75aafd 100644
--- a/Source/devtools/front_end/SettingsScreen.js
+++ b/Source/devtools/front_end/SettingsScreen.js
@@ -264,7 +264,8 @@ WebInspector.SettingsTab.prototype = {
 
         function changeListener(e)
         {
-            setting.set(e.target.value);
+            // Don't use e.target.value to avoid conversion of the value to string.
+            setting.set(options[select.selectedIndex][1]);
         }
 
         select.addEventListener("change", changeListener, false);
@@ -412,6 +413,7 @@ WebInspector.GenericSettingsTab = function()
 
     p = this._appendSection(WebInspector.UIString("Profiler"));
     p.appendChild(WebInspector.SettingsTab.createSettingCheckbox(WebInspector.UIString("Show advanced heap snapshot properties"), WebInspector.settings.showAdvancedHeapSnapshotProperties));
+    p.appendChild(WebInspector.SettingsTab.createSettingCheckbox(WebInspector.UIString("High resolution CPU profiling"), WebInspector.settings.highResolutionCpuProfiling));
 
     p = this._appendSection(WebInspector.UIString("Timeline"));
     checkbox = WebInspector.SettingsTab.createSettingCheckbox(WebInspector.UIString("Limit number of captured JS stack frames"), WebInspector.settings.timelineLimitStackFramesFlag);