Index: third_party/WebKit/Source/devtools/front_end/ui/UIUtils.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/ui/UIUtils.js b/third_party/WebKit/Source/devtools/front_end/ui/UIUtils.js |
index 2d84d8cd115309743caadf72634186ec0a86d796..68aff2e7692a5976689d1c1fedc46aabaeacb4d7 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/ui/UIUtils.js |
+++ b/third_party/WebKit/Source/devtools/front_end/ui/UIUtils.js |
@@ -1640,7 +1640,6 @@ WebInspector.ThemeSupport.prototype = { |
* 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) |