diff -r b71590debb98 -r 371dfea907fd sunbird-system-proxy.patch --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/sunbird-system-proxy.patch Tue Feb 09 11:16:29 2010 +0100 @@ -0,0 +1,88 @@ +diff --git a/calendar/base/content/preferences/connection.js b/calendar/base/content/preferences/connection.js +--- a/calendar/base/content/preferences/connection.js ++++ b/calendar/base/content/preferences/connection.js +@@ -69,17 +69,22 @@ var gConnectionsDialog = { + } + } + + var noProxiesPref = document.getElementById("network.proxy.no_proxies_on"); + noProxiesPref.value = noProxiesPref.value.replace(/[;]/g,','); + + return true; + }, +- ++ ++ checkForSystemProxy: function () ++ { ++ if ("@mozilla.org/system-proxy-settings;1" in Components.classes) ++ document.getElementById("systemPref").removeAttribute("hidden"); ++ }, + + /** + * Handler function to be called when the network.proxy.type preference has + * changed while the connection preferences dialog is open. + */ + proxyTypeChanged: function gCD_proxyTypeChanged() { + var proxyTypePref = document.getElementById("network.proxy.type"); + +diff --git a/calendar/base/content/preferences/connection.xul b/calendar/base/content/preferences/connection.xul +--- a/calendar/base/content/preferences/connection.xul ++++ b/calendar/base/content/preferences/connection.xul +@@ -40,16 +40,17 @@ + + + + + #else + style="width: &window.width; !important;"> + #endif + + + +@@ -88,16 +89,17 @@ + + + + + + + ++