DevTools: add rendering overlay options to command menu

third_party/WebKit/Source/devtools/front_end/ui/SettingsUI.js

Index: third_party/WebKit/Source/devtools/front_end/ui/SettingsUI.js
diff --git a/third_party/WebKit/Source/devtools/front_end/ui/SettingsUI.js b/third_party/WebKit/Source/devtools/front_end/ui/SettingsUI.js
index c272bcf0549c6cf0fdaab3d3d195ada21e44f0d5..7dfc4cd408ec38b699fc90e16588b3830c82f8ac 100644
--- a/third_party/WebKit/Source/devtools/front_end/ui/SettingsUI.js
+++ b/third_party/WebKit/Source/devtools/front_end/ui/SettingsUI.js
@@ -57,11 +57,14 @@ UI.SettingsUI.createSettingCheckbox = function(name, setting, omitParagraphEleme
  * @param {string} name
  * @param {!Array<!Runtime.ExtensionDescriptor.Option>} options
  * @param {!Common.Setting} setting
+ * @param {string=} subtitle
  * @return {!Element}
  */
-UI.SettingsUI.createSettingSelect = function(name, options, setting) {
+UI.SettingsUI.createSettingSelect = function(name, options, setting, subtitle) {
   var p = createElement('p');
   p.createChild('label').textContent = name;
+  if (subtitle !== undefined)
+    p.createChild('div', 'select-subtitle').textContent = subtitle;
   var select = p.createChild('select', 'chrome-select');
 
   for (var i = 0; i < options.length; ++i) {