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

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

chrome/browser/chromeos/proxy_cros_settings_parser.cc:85 The port
number's final value comes from either the one specified in the Host
field or the one specified in the Port field.  Which one it would be
depends on which field is the last updated field, so the
overriding-it-whatever logic will be no longer necessary, and we
removed it.

chrome/browser/resources/options/chromeos/internet_detail.js:524 Add a
new function called "updateProxySetting", it is used to update the
proxy setting dialog's UI.  Whenever the internal data storing the
proxy information is changed, this function is called to update the UI
instantly.

chrome/browser/ui/webui/options/chromeos/core_chromeos_options_handler.cc:167
When the proxy data settings changed, make sure the view is updated
properly by calling JS function - updateProxySettings.

This patch was contributed by keenepan@linpus.com, and originally
reviewed in CL 

TBR=pastarmovj@chromium.org
BUG=chromium-os:26554
TEST=Setting manual proxy with "http://" prefix AND ":<port>" suffix, the proxy settings dialog UI will update and values will in right TEXTVIEW


Committed: https://src.chromium.org/viewvc/chrome?view=rev&revision=175213

[commit-bot: I haz the power, 2013-01-04 19:14:45]

CQ is trying da patch. Follow status at
https://chromium-status.appspot.com/cq/gspencer@chromium.org/11737038/1

[commit-bot: I haz the power, 2013-01-04 22:26:50]

Change committed as 175213