| Index: third_party/WebKit/Source/devtools/front_end/ui/filter.css
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/ui/filter.css b/third_party/WebKit/Source/devtools/front_end/ui/filter.css
|
| index d741dfeb5d78f82dc0b8e6ea3219b4e94546028b..2de512b54a97024d964eddcd8979e16fd6abca0a 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/ui/filter.css
|
| +++ b/third_party/WebKit/Source/devtools/front_end/ui/filter.css
|
| @@ -139,13 +139,18 @@
|
| }
|
|
|
| .filter-input-field {
|
| - -webkit-appearance: none;
|
| border: 1px solid rgb(163, 163, 163);
|
| border-radius: 2px;
|
| padding: 1px 3px 0;
|
| margin: 0 0 0 1px;
|
| - width: 253px;
|
| + width: 143px;
|
| height: 20px;
|
| line-height: 17px;
|
| - flex: 1;
|
| + -webkit-user-modify: read-write-plaintext-only;
|
| + -webkit-user-select: text;
|
| + display: inline-block;
|
| + background: #FFF;
|
| + overflow: hidden;
|
| + white-space: nowrap;
|
| + cursor: auto;
|
| }
|
|
|