DevTools: Added styling to focused checkboxes

third_party/WebKit/Source/devtools/front_end/ui/UIUtils.js

 /*
  * Copyright (C) 2011 Google Inc.  All rights reserved.
  * Copyright (C) 2006, 2007, 2008 Apple Inc.  All rights reserved.
  * Copyright (C) 2007 Matt Lilek (pewtermoose@gmail.com).
  * Copyright (C) 2009 Joseph Pecoraro
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions
  * are met:
  *
@@ skipping 1486 matching lines @@
         /**
          * @param {string} color
          * @this {Element}
          */
         set borderColor(color)
         {
             this.checkboxElement.classList.add("dt-checkbox-themed");
             this.checkboxElement.style.borderColor = color;
         },
 
+        /**
+         * @param {boolean} focus
+         * @this {Element}
+         */
+        set visualizeFocus(focus)
+        {
+            this.checkboxElement.classList.toggle("dt-checkbox-visualize-focus", focus);
+        },
+
         __proto__: HTMLLabelElement.prototype
     });
 
     registerCustomElement("label", "dt-icon-label", {
         /**
          * @this {Element}
          */
         createdCallback: function()
         {
             var root = WebInspector.createShadowRootWithCoreStyles(this, "ui/smallIcon.css");
@@ skipping 469 matching lines @@
  * @param {string} title
  * @return {!Element}
  */
 WebInspector.linkifyDocumentationURLAsNode = function(article, title)
 {
     return WebInspector.linkifyURLAsNode("https://developers.google.com/web/tools/chrome-devtools/" + article, title, undefined, true);
 }
 
 /** @type {!WebInspector.ThemeSupport} */
 WebInspector.themeSupport;