| 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 1c65f1927fb48ef8bee8ed09f093a51040026651..d723f90cbd13b2a5fb0b8c4d6f71f804fce5da08 100644
|
| --- a/Source/devtools/front_end/ui/SettingsUI.js
|
| +++ b/Source/devtools/front_end/ui/SettingsUI.js
|
| @@ -41,7 +41,7 @@ WebInspector.SettingsUI.createSettingCheckbox = function(name, setting, omitPara
|
| {
|
| var label = createCheckboxLabel(name);
|
| if (tooltip)
|
| - WebInspector.Tooltip.install(label, tooltip);
|
| + label.title = tooltip;
|
|
|
| var input = label.checkboxElement;
|
| input.name = name;
|
|
|