org.handhelds.familiar/packages/mozilla/firefox/extensions-hack.patch

   1 --- mozilla/toolkit/mozapps/extensions/src/nsExtensionManager.js.in.old 2004-08-03 11:45:51.000000000 +0100
   2 +++ mozilla/toolkit/mozapps/extensions/src/nsExtensionManager.js.in     2004-08-03 11:46:04.000000000 +0100
   3 @@ -1429,6 +1429,7 @@
   4        win.close();
   5
   6      }
   7 +    needsRestart = false;
   8      return needsRestart;
   9    },
  10