Title: [173536] trunk/Source/WebInspectorUI
Revision
173536
Author
[email protected]
Date
2014-09-11 13:44:38 -0700 (Thu, 11 Sep 2014)

Log Message

Web Inspector: Hide DOM search result highlights when find banner is not showing
https://bugs.webkit.org/show_bug.cgi?id=136749

Patch by Joseph Pecoraro <[email protected]> on 2014-09-11
Reviewed by Timothy Hatcher.

Match search highlights in TextEditor by only showing the highlight
when the find banner is showing.

* UserInterface/Views/DOMTreeOutline.css:
(.showing-find-banner .dom-tree-outline .search-result):
(.dom-tree-outline .search-highlight): Deleted.

Modified Paths

Diff

Modified: trunk/Source/WebInspectorUI/ChangeLog (173535 => 173536)


--- trunk/Source/WebInspectorUI/ChangeLog	2014-09-11 20:38:19 UTC (rev 173535)
+++ trunk/Source/WebInspectorUI/ChangeLog	2014-09-11 20:44:38 UTC (rev 173536)
@@ -1,5 +1,19 @@
 2014-09-11  Joseph Pecoraro  <[email protected]>
 
+        Web Inspector: Hide DOM search result highlights when find banner is not showing
+        https://bugs.webkit.org/show_bug.cgi?id=136749
+
+        Reviewed by Timothy Hatcher.
+
+        Match search highlights in TextEditor by only showing the highlight
+        when the find banner is showing.
+
+        * UserInterface/Views/DOMTreeOutline.css:
+        (.showing-find-banner .dom-tree-outline .search-result):
+        (.dom-tree-outline .search-highlight): Deleted.
+
+2014-09-11  Joseph Pecoraro  <[email protected]>
+
         Web Inspector: DOM Tree search highlights are not appearing
         https://bugs.webkit.org/show_bug.cgi?id=136662
 

Modified: trunk/Source/WebInspectorUI/UserInterface/Views/DOMTreeOutline.css (173535 => 173536)


--- trunk/Source/WebInspectorUI/UserInterface/Views/DOMTreeOutline.css	2014-09-11 20:38:19 UTC (rev 173535)
+++ trunk/Source/WebInspectorUI/UserInterface/Views/DOMTreeOutline.css	2014-09-11 20:44:38 UTC (rev 173536)
@@ -159,7 +159,7 @@
     white-space: pre-wrap;
 }
 
-.dom-tree-outline .search-highlight {
+.showing-find-banner .dom-tree-outline .search-highlight {
     color: black;
     background-color: rgba(235, 215, 38, 0.2);
     border-bottom: 1px solid rgb(237, 202, 71);
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes

Reply via email to