DevTools: add rendering overlay options to command menu

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

 /*
  * Copyright (C) 2014 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 39 matching lines @@
 
   var p = createElement('p');
   p.appendChild(label);
   return p;
 };
 
 /**
  * @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) {
     // The "raw" flag indicates text is non-i18n-izable.
     var option = /** @type {!Runtime.ExtensionDescriptor.Option} */ (options[i]);
     var optionText = /** @type {string} */ (option.text);
     var optionName = option.raw ? optionText : Common.UIString(optionText);
     select.add(new Option(optionName, option.value));
   }
 
@@ skipping 69 matching lines @@
  * @interface
  */
 UI.SettingUI = function() {};
 
 UI.SettingUI.prototype = {
   /**
    * @return {?Element}
    */
   settingElement() {}
 };