--- /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;
+