Index: Source/devtools/front_end/filter.css |
diff --git a/Source/devtools/front_end/filter.css b/Source/devtools/front_end/filter.css |
index bce9b773d3a3a7792011470a9c8e728fa5a7d8af..5da80085c3379a63b4aff7e0b990c7c4107b6669 100644 |
--- a/Source/devtools/front_end/filter.css |
+++ b/Source/devtools/front_end/filter.css |
@@ -29,10 +29,11 @@ |
*/ |
.filter-text-filter { |
+ display: flex; |
margin-top: 1px; |
margin-left: 1px; |
margin-right: 1px; |
- flex: 0 0 100px; |
+ flex: 0 0 200px; |
vsevik
2013/11/28 10:29:10
Can we keep it smaller in case there is no regex s
Dmitry Zvorygin
2013/11/28 13:48:33
200px is just common 100px input box + checkbox +
|
} |
.filter-bitset-filter { |
@@ -96,6 +97,10 @@ |
overflow: hidden; |
} |
+.filter-text-invalid { |
+ background-color: rgb(255, 200, 200); |
+} |
+ |
.filter-checkbox-filter .checkbox-filter-checkbox { |
width: 10px; |
height: 10px; |