| Index: third_party/WebKit/Source/devtools/front_end/devtools.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/devtools.js b/third_party/WebKit/Source/devtools/front_end/devtools.js
|
| index 9618a143177a3da3b31421b99f5ad11022257fa9..55f5269048878697abe7a060ab1dbfcf63edb3f3 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/devtools.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/devtools.js
|
| @@ -1000,6 +1000,8 @@ function sanitizeRemoteFrontendUrl()
|
| location.search = "";
|
| if (name === "remoteBase" && !remoteBaseRegexp.test(value))
|
| location.search = "";
|
| + if (name === "settings")
|
| + location.search = "";
|
| }
|
| }
|
|
|
|
|