diff -r 000000000000 -r b71590debb98 seamonkey-no-update.patch --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/seamonkey-no-update.patch Tue Feb 09 11:09:19 2010 +0100 @@ -0,0 +1,17 @@ +diff --git a/suite/common/utilityOverlay.js b/suite/common/utilityOverlay.js +--- a/suite/common/utilityOverlay.js ++++ b/suite/common/utilityOverlay.js +@@ -671,7 +671,13 @@ function updateCheckUpdatesItem() + // administrator or if we cannot update for some other reason. + var checkForUpdates = document.getElementById("checkForUpdates"); + var canUpdate = updates.canUpdate; ++ var prefs = Components.classes["@mozilla.org/preferences-service;1"] ++ .getService(Components.interfaces.nsIPrefBranch); ++ var updateEnabled = prefs.getBoolPref("app.update.enabled", true); + checkForUpdates.setAttribute("disabled", !canUpdate); ++ checkForUpdates.setAttribute("hidden", !canUpdate || !updateEnabled); ++ var updateSeparator = document.getElementById("menu_HelpUpdatesSeparator"); ++ updateSeparator.setAttribute("hidden", !canUpdate || !updateEnabled); + if (!canUpdate) + return; +