Allow configuring CPU profiler sampling interval

Source/devtools/front_end/ProfilesPanel.js

Index: Source/devtools/front_end/ProfilesPanel.js
diff --git a/Source/devtools/front_end/ProfilesPanel.js b/Source/devtools/front_end/ProfilesPanel.js
index d4897e273f57707d56948f608ed700e3b6c87cda..ef5fe9d6a094fc6653de4e97c0f0c10cb5c25068 100644
--- a/Source/devtools/front_end/ProfilesPanel.js
+++ b/Source/devtools/front_end/ProfilesPanel.js
@@ -435,6 +435,9 @@ WebInspector.ProfilesPanel = function(name, type)
     this._registerShortcuts();
 
     WebInspector.ContextMenu.registerProvider(this);
+
+    this._configureCpuProfilerSamplingInterval();
+    WebInspector.settings.highResolutionCpuProfiling.addChangeListener(this._configureCpuProfilerSamplingInterval, this);
 }
 
 WebInspector.ProfilesPanel.prototype = {
@@ -472,6 +475,17 @@ WebInspector.ProfilesPanel.prototype = {
         this.registerShortcuts(WebInspector.ProfilesPanelDescriptor.ShortcutKeys.StartStopRecording, this.toggleRecordButton.bind(this));
     },
 
+    _configureCpuProfilerSamplingInterval: function()
+    {
+        var intervalUs = WebInspector.settings.highResolutionCpuProfiling.get() ? 100 : 1000;
+        ProfilerAgent.setSamplingInterval(intervalUs, didChangeInterval.bind(this));
+        function didChangeInterval(error)
+        {
+            if (error)
+                WebInspector.showErrorMessage(error)
+        }
+    },
+
     /**
      * @param {!File} file
      */