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() {} |
}; |