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 105 matching lines @@
  */
 UI.SettingsUI.createCustomSetting = function(name, element) {
   var p = createElement('p');
   var fieldsetElement = p.createChild('fieldset');
   fieldsetElement.createChild('label').textContent = name;
   fieldsetElement.appendChild(element);
   return p;
 };
 
 /**
+ * @param {!Common.Setting} setting
+ * @return {?Element}
+ */
+UI.SettingsUI.createControlForSetting = function(setting) {
+  if (!setting.extension())
+    return null;
+  var descriptor = setting.extension().descriptor();
+  var uiTitle = Common.UIString(setting.title() || '');
+  switch (descriptor['settingType']) {
+    case 'boolean':
+      return UI.SettingsUI.createSettingCheckbox(uiTitle, setting);
+    case 'enum':
+      if (Array.isArray(descriptor['options']))
+        return UI.SettingsUI.createSettingSelect(uiTitle, descriptor['options'], setting);
+      console.error('Enum setting defined without options');
+      return null;
+    default:
+      console.error('Invalid setting type: ' + descriptor['settingType']);
+      return null;
+  }
+};
+
+/**
  * @interface
  */
 UI.SettingUI = function() {};
 
 UI.SettingUI.prototype = {
   /**
    * @return {?Element}
    */
   settingElement() {}
 };