Web Inspector: Hide DOM search result highlights when find banner is not showing
authorcommit-queue@webkit.org <commit-queue@webkit.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Thu, 11 Sep 2014 20:44:38 +0000 (20:44 +0000)
committercommit-queue@webkit.org <commit-queue@webkit.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Thu, 11 Sep 2014 20:44:38 +0000 (20:44 +0000)
https://bugs.webkit.org/show_bug.cgi?id=136749

Patch by Joseph Pecoraro <pecoraro@apple.com> 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.

git-svn-id: https://svn.webkit.org/repository/webkit/trunk@173536 268f45cc-cd09-0410-ab3c-d52691b4dbfc

Source/WebInspectorUI/ChangeLog
Source/WebInspectorUI/UserInterface/Views/DOMTreeOutline.css

index b2e5e0f..bf9ea92 100644 (file)
@@ -1,5 +1,19 @@
 2014-09-11  Joseph Pecoraro  <pecoraro@apple.com>
 
+        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  <pecoraro@apple.com>
+
         Web Inspector: DOM Tree search highlights are not appearing
         https://bugs.webkit.org/show_bug.cgi?id=136662
 
index e67e955..f14ec4b 100644 (file)
@@ -159,7 +159,7 @@ body.mac-platform.legacy .dom-tree-outline:focus li.selected .selection {
     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);