DevTools: popover, selection and other minor theme tweaks.

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 1622 matching lines @@
 
     /**
      * @param {string} selectorText
      * @param {!CSSStyleDeclaration} style
      * @param {string} name
      * @param {!Array<string>} output
      *
      * Theming API is primarily targeted at making dark theme look good.
      * - If rule has ".-theme-preserve" in selector, it won't be affected.
      * - If rule has ".selection" or "selected" or "-theme-selection-color" in selector, its hue is rotated 180deg in dark themes.
-     * - If rule has "highlight" its lightness is dimmmed 50%.
      * - One can create specializations for dark themes via body.-theme-with-dark-background selector in host context.
      */
     _patchProperty: function(selectorText, style, name, output)
     {
         if (!this._themableProperties.has(name))
             return;
 
         var value = style.getPropertyValue(name);
         if (!value || value === "none" || value === "inherit" || value === "initial" || value === "transparent")
             return;
@@ skipping 97 matching lines @@
             [NetworkAgent.ResourcePriority.High, WebInspector.UIString("High")],
             [NetworkAgent.ResourcePriority.VeryHigh, WebInspector.UIString("Highest")]
         ]);
         WebInspector.uiLabelForPriority._priorityToUILabel = labelMap;
     }
     return labelMap.get(priority) || WebInspector.UIString("Unknown");
 }
 
 /** @type {!WebInspector.ThemeSupport} */
 WebInspector.themeSupport;