Fix proxy settings so that a port number in the host field gets applied to the port field.

chrome/browser/ui/webui/options/chromeos/core_chromeos_options_handler.cc

Index: chrome/browser/ui/webui/options/chromeos/core_chromeos_options_handler.cc
diff --git a/chrome/browser/ui/webui/options/chromeos/core_chromeos_options_handler.cc b/chrome/browser/ui/webui/options/chromeos/core_chromeos_options_handler.cc
index 1fd2058dfca93fe480bd2ad490d291735f41d534..794f1692ac9b3859ad438d23684da82fd1975ae2 100644
--- a/chrome/browser/ui/webui/options/chromeos/core_chromeos_options_handler.cc
+++ b/chrome/browser/ui/webui/options/chromeos/core_chromeos_options_handler.cc
@@ -168,6 +168,10 @@ void CoreChromeOSOptionsHandler::SetPref(const std::string& pref_name,
   if (proxy_cros_settings_parser::IsProxyPref(pref_name)) {
     proxy_cros_settings_parser::SetProxyPrefValue(Profile::FromWebUI(web_ui()),
                                                   pref_name, value);
+    base::StringValue proxy_type(pref_name);
+    web_ui()->CallJavascriptFunction(
+        "options.internet.DetailsInternetPage.updateProxySettings",
+        proxy_type);
     ProcessUserMetric(value, metric);
     return;
   }