| 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 5f7ad1cd0e6f976b435775ba67cbd5899d83c046..a8aafa6ae7f4d2f20c086261c23d7668b150eddb 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/ui/SettingsUI.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/ui/SettingsUI.js
|
| @@ -37,7 +37,7 @@ UI.SettingsUI = {};
|
| * @return {!Element}
|
| */
|
| UI.SettingsUI.createSettingCheckbox = function(name, setting, omitParagraphElement, tooltip) {
|
| - var label = createCheckboxLabel(name);
|
| + var label = UI.createCheckboxLabel(name);
|
| if (tooltip)
|
| label.title = tooltip;
|
|
|
|
|