| 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 985e84b275fa816f5441d535844307667214d93a..775b9c6cb24e3c13d7ffc4e96545eaf257ed0572 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/ui/SettingsUI.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/ui/SettingsUI.js
|
| @@ -27,7 +27,6 @@
|
| * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
|
| * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
| */
|
| -
|
| WebInspector.SettingsUI = {};
|
|
|
| /**
|
| @@ -37,44 +36,40 @@ WebInspector.SettingsUI = {};
|
| * @param {string=} tooltip
|
| * @return {!Element}
|
| */
|
| -WebInspector.SettingsUI.createSettingCheckbox = function(name, setting, omitParagraphElement, tooltip)
|
| -{
|
| - var label = createCheckboxLabel(name);
|
| - if (tooltip)
|
| - label.title = tooltip;
|
| +WebInspector.SettingsUI.createSettingCheckbox = function(name, setting, omitParagraphElement, tooltip) {
|
| + var label = createCheckboxLabel(name);
|
| + if (tooltip)
|
| + label.title = tooltip;
|
|
|
| - var input = label.checkboxElement;
|
| - input.name = name;
|
| - WebInspector.SettingsUI.bindCheckbox(input, setting);
|
| + var input = label.checkboxElement;
|
| + input.name = name;
|
| + WebInspector.SettingsUI.bindCheckbox(input, setting);
|
|
|
| - if (omitParagraphElement)
|
| - return label;
|
| + if (omitParagraphElement)
|
| + return label;
|
|
|
| - var p = createElement("p");
|
| - p.appendChild(label);
|
| - return p;
|
| + var p = createElement('p');
|
| + p.appendChild(label);
|
| + return p;
|
| };
|
|
|
| /**
|
| * @param {!Element} input
|
| * @param {!WebInspector.Setting} setting
|
| */
|
| -WebInspector.SettingsUI.bindCheckbox = function(input, setting)
|
| -{
|
| - function settingChanged()
|
| - {
|
| - if (input.checked !== setting.get())
|
| - input.checked = setting.get();
|
| - }
|
| - setting.addChangeListener(settingChanged);
|
| - settingChanged();
|
| +WebInspector.SettingsUI.bindCheckbox = function(input, setting) {
|
| + function settingChanged() {
|
| + if (input.checked !== setting.get())
|
| + input.checked = setting.get();
|
| + }
|
| + setting.addChangeListener(settingChanged);
|
| + settingChanged();
|
|
|
| - function inputChanged()
|
| - {
|
| - if (setting.get() !== input.checked)
|
| - setting.set(input.checked);
|
| - }
|
| - input.addEventListener("change", inputChanged, false);
|
| + function inputChanged() {
|
| + if (setting.get() !== input.checked)
|
| + setting.set(input.checked);
|
| + }
|
| + input.addEventListener('change', inputChanged, false);
|
| };
|
|
|
| /**
|
| @@ -82,42 +77,37 @@ WebInspector.SettingsUI.bindCheckbox = function(input, setting)
|
| * @param {!Element} element
|
| * @return {!Element}
|
| */
|
| -WebInspector.SettingsUI.createCustomSetting = function(name, element)
|
| -{
|
| - var p = createElement("p");
|
| - var fieldsetElement = p.createChild("fieldset");
|
| - fieldsetElement.createChild("label").textContent = name;
|
| - fieldsetElement.appendChild(element);
|
| - return p;
|
| +WebInspector.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 {!WebInspector.Setting} setting
|
| * @return {!Element}
|
| */
|
| -WebInspector.SettingsUI.createSettingFieldset = function(setting)
|
| -{
|
| - var fieldset = createElement("fieldset");
|
| - fieldset.disabled = !setting.get();
|
| - setting.addChangeListener(settingChanged);
|
| - return fieldset;
|
| +WebInspector.SettingsUI.createSettingFieldset = function(setting) {
|
| + var fieldset = createElement('fieldset');
|
| + fieldset.disabled = !setting.get();
|
| + setting.addChangeListener(settingChanged);
|
| + return fieldset;
|
|
|
| - function settingChanged()
|
| - {
|
| - fieldset.disabled = !setting.get();
|
| - }
|
| + function settingChanged() {
|
| + fieldset.disabled = !setting.get();
|
| + }
|
| };
|
|
|
| /**
|
| * @interface
|
| */
|
| -WebInspector.SettingUI = function()
|
| -{
|
| -};
|
| +WebInspector.SettingUI = function() {};
|
|
|
| WebInspector.SettingUI.prototype = {
|
| - /**
|
| - * @return {?Element}
|
| - */
|
| - settingElement: function() { }
|
| + /**
|
| + * @return {?Element}
|
| + */
|
| + settingElement: function() {}
|
| };
|
|
|