Index: Source/devtools/front_end/ui/SettingsUI.js |
diff --git a/Source/devtools/front_end/ui/SettingsUI.js b/Source/devtools/front_end/ui/SettingsUI.js |
index cce906c5f160226e486b3dcf6317089ca368052a..bb8b49bd9b5014ae704ed4a645fc05ab8cabcd7d 100644 |
--- a/Source/devtools/front_end/ui/SettingsUI.js |
+++ b/Source/devtools/front_end/ui/SettingsUI.js |
@@ -40,12 +40,12 @@ WebInspector.SettingsUI = {} |
*/ |
WebInspector.SettingsUI.createSettingCheckbox = function(name, setting, omitParagraphElement, inputElement, tooltip) |
{ |
- var input = inputElement || document.createElement("input"); |
+ var input = inputElement || createElement("input"); |
input.type = "checkbox"; |
input.name = name; |
WebInspector.SettingsUI.bindCheckbox(input, setting); |
- var label = document.createElement("label"); |
+ var label = createElement("label"); |
label.appendChild(input); |
label.createTextChild(name); |
if (tooltip) |
@@ -54,7 +54,7 @@ WebInspector.SettingsUI.createSettingCheckbox = function(name, setting, omitPara |
if (omitParagraphElement) |
return label; |
- var p = document.createElement("p"); |
+ var p = createElement("p"); |
p.appendChild(label); |
return p; |
} |
@@ -95,7 +95,7 @@ WebInspector.SettingsUI.bindCheckbox = function(input, setting) |
*/ |
WebInspector.SettingsUI.createSettingInputField = function(label, setting, numeric, maxLength, width, validatorCallback, instant, clearForZero, placeholder) |
{ |
- var p = document.createElement("p"); |
+ var p = createElement("p"); |
var labelElement = p.createChild("label"); |
labelElement.textContent = label; |
var inputElement = p.createChild("input"); |
@@ -207,7 +207,7 @@ WebInspector.SettingsUI.createSettingInputField = function(label, setting, numer |
*/ |
WebInspector.SettingsUI.createCustomSetting = function(name, element) |
{ |
- var p = document.createElement("p"); |
+ var p = createElement("p"); |
var fieldsetElement = p.createChild("fieldset"); |
fieldsetElement.createChild("label").textContent = name; |
fieldsetElement.appendChild(element); |
@@ -220,7 +220,7 @@ WebInspector.SettingsUI.createCustomSetting = function(name, element) |
*/ |
WebInspector.SettingsUI.createSettingFieldset = function(setting) |
{ |
- var fieldset = document.createElement("fieldset"); |
+ var fieldset = createElement("fieldset"); |
fieldset.disabled = !setting.get(); |
setting.addChangeListener(settingChanged); |
return fieldset; |