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..05d31f91d3c1c34f193908e0eca9297c1a26cc69 100644 |
--- a/Source/devtools/front_end/filter.css |
+++ b/Source/devtools/front_end/filter.css |
@@ -29,12 +29,17 @@ |
*/ |
.filter-text-filter { |
+ display: flex; |
margin-top: 1px; |
margin-left: 1px; |
margin-right: 1px; |
flex: 0 0 100px; |
} |
+.filter-text-filter.supports-regex { |
+ flex: 0 0 155px; |
+} |
+ |
.filter-bitset-filter { |
line-height: 19px; |
padding-right: 10px !important; |
@@ -96,6 +101,10 @@ |
overflow: hidden; |
} |
+.filter-text-invalid { |
+ background-color: rgb(255, 200, 200); |
+} |
+ |
.filter-checkbox-filter .checkbox-filter-checkbox { |
width: 10px; |
height: 10px; |