Rietveld Code Review Tool
Help | Bug tracker | Discussion group | Source code

Unified Diff: chrome/skin/filters.css

Issue 29356477: Issue 4510 - Filter preferences: replace the built-in findbar widget by our own look-alike (Closed) Base URL: https://hg.adblockplus.org/adblockplus
Patch Set: Removed outdated CSS rule Created Oct. 11, 2016, 9:21 a.m.
Use n/p to move between diff chunks; N/P to move between comments.
Jump to:
View side-by-side diff with in-line comments
Download patch
« chrome/content/ui/filters-search.js ('K') | « chrome/locale/en-US/filters.dtd ('k') | no next file » | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: chrome/skin/filters.css
===================================================================
--- a/chrome/skin/filters.css
+++ b/chrome/skin/filters.css
@@ -212,12 +212,50 @@ treechildren::-moz-tree-image(col-enable
-moz-image-region: rect(0px 13px 13px 0px);
}
treechildren::-moz-tree-image(col-slow, slow-true)
{
list-style-image: url(slow.png);
}
-.findbar-highlight
+/* Findbar */
+
+#findbar-closebutton
{
- display: none;
+ list-style-image: url(close.png);
+ -moz-image-region: rect(0px, 14px, 14px, 0px);
}
+
+#findbar-closebutton:hover
+{
+ -moz-image-region: rect(0px, 28px, 14px, 14px);
+}
+
+#findbar-closebutton:active
+{
+ -moz-image-region: rect(0px, 42px, 14px, 28px);
+}
+
+#findbar-textbox[status="notFound"]
+{
+ /* We cannot change background color because of -moz-appearance but a red */
+ /* shadow works. */
+ filter: drop-shadow(0 0 4px red);
Thomas Greiner 2016/10/12 14:03:14 Detail: This looks quite strange due to the border
Wladimir Palant 2016/10/12 15:22:00 I considered just marking the field as invalid ins
Thomas Greiner 2016/10/12 17:18:10 It's a pity that we can't just mark it as invalid,
Wladimir Palant 2016/10/12 17:53:30 Or we simply set `-moz-appearance: none` or drop `
+}
+
+#findbar[data-os="darwin"] > #findbar-case-sensitive[checked="true"]
+{
+ /* Firefox on Mac doesn't indicate checked buttons, do it ourselves */
+ filter: brightness(70%);
+}
+
+.findbar-status
+{
+ font-size: 80%;
+}
+
+.findbar-status[hidden="true"]
+{
+ /* Make sure these elements always occupy the necessary space */
+ display: -moz-box;
Thomas Greiner 2016/10/12 14:03:14 Sounds like it behaves the same way as `flex="1"`
Wladimir Palant 2016/10/12 15:22:00 This is merely overriding display:none that hidden
+ visibility: hidden;
+}
« chrome/content/ui/filters-search.js ('K') | « chrome/locale/en-US/filters.dtd ('k') | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld