| Index: third_party/WebKit/Source/devtools/front_end/network/NetworkConfigView.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/network/NetworkConfigView.js b/third_party/WebKit/Source/devtools/front_end/network/NetworkConfigView.js
|
| index 43f27977dcae2f489b7b6c9325a9c7fbaf3e1d0d..36ebc177b839c89adccf8cd5a29ff227a0423186 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/network/NetworkConfigView.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/network/NetworkConfigView.js
|
| @@ -116,7 +116,7 @@ WebInspector.NetworkConfigView.createUserAgentSelectAndInput = function()
|
|
|
| settingChanged();
|
| userAgentSelectElement.addEventListener("change", userAgentSelected, false);
|
| - otherUserAgentElement.addEventListener("input", textChanged, false);
|
| + otherUserAgentElement.addEventListener("input", applyOtherUserAgent, false);
|
|
|
| function userAgentSelected()
|
| {
|
| @@ -147,7 +147,7 @@ WebInspector.NetworkConfigView.createUserAgentSelectAndInput = function()
|
| userAgentSelectElement.selectedIndex = 0;
|
| }
|
|
|
| - function textChanged()
|
| + function applyOtherUserAgent()
|
| {
|
| if (userAgentSetting.get() !== otherUserAgentElement.value) {
|
| userAgentSetting.set(otherUserAgentElement.value);
|
|
|