DevTools: only set title w/ shortcut via Tooltip manager API.

Source/devtools/front_end/ui/SettingsUI.js

 /*
  * Copyright (C) 2014 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 23 matching lines @@
  * @param {string} name
  * @param {!WebInspector.Setting} setting
  * @param {boolean=} omitParagraphElement
  * @param {string=} tooltip
  * @return {!Element}
  */
 WebInspector.SettingsUI.createSettingCheckbox = function(name, setting, omitParagraphElement, tooltip)
 {
     var label = createCheckboxLabel(name);
     if (tooltip)
-        WebInspector.Tooltip.install(label, tooltip);
+        label.title = tooltip;
 
     var input = label.checkboxElement;
     input.name = name;
     WebInspector.SettingsUI.bindCheckbox(input, setting);
 
     if (omitParagraphElement)
         return label;
 
     var p = createElement("p");
     p.appendChild(label);
@@ skipping 223 matching lines @@
 WebInspector.SettingUI = function()
 {
 }
 
 WebInspector.SettingUI.prototype = {
     /**
      * @return {?Element}
      */
     settingElement: function() { }
 }