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