| Index: third_party/WebKit/Source/devtools/front_end/resources/serviceWorkersView.css
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/resources/serviceWorkersView.css b/third_party/WebKit/Source/devtools/front_end/resources/serviceWorkersView.css
|
| index 07b77be12fc7dc48e4b63f220decb2412fce28e7..c7fa7e58b0db7fc1c4e5918fc1ff93e80d924c42 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/resources/serviceWorkersView.css
|
| +++ b/third_party/WebKit/Source/devtools/front_end/resources/serviceWorkersView.css
|
| @@ -19,6 +19,7 @@
|
| .service-workers-root {
|
| margin: 0;
|
| padding: 5px;
|
| + -webkit-user-select: text;
|
| }
|
|
|
| .service-workers-root ol {
|
|
|