A bunch of proxy DOMUI changes.

chrome/browser/resources/options/chromeos_proxy_options.js

Index: chrome/browser/resources/options/chromeos_proxy_options.js
diff --git a/chrome/browser/resources/options/chromeos_proxy_options.js b/chrome/browser/resources/options/chromeos_proxy_options.js
index d2fcef7fd8c651300b5c72ee9290a2c106c8efdd..b1e7f16bfb36b8d6ac72588a8767daa4b18412ae 100644
--- a/chrome/browser/resources/options/chromeos_proxy_options.js
+++ b/chrome/browser/resources/options/chromeos_proxy_options.js
@@ -91,6 +91,7 @@ cr.define('options', function() {
      * @param {Event} e Click event.
      */
     disableManual_: function(e) {
+      $('proxyAllProtocols').disabled = true;
       $('proxyHostName').disabled = true;
       $('proxyHostPort').disabled = true;
       $('proxyHostSingleName').disabled = true;
@@ -114,6 +115,7 @@ cr.define('options', function() {
      * @param {Event} e Click event.
      */
     enableManual_: function(e) {
+      $('proxyAllProtocols').disabled = false;
       $('proxyHostName').disabled = false;
       $('proxyHostPort').disabled = false;
       $('proxyHostSingleName').disabled = false;