| 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 f2a132556cfd033ba6ff65681edfb7a9ba723bb1..5e83ae3bb1ca36b38dfeedb22024902029e551ba 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 = "";
|
| }
|
| }
|
|
|
|
|